Justus Fasse -

Registered user since Mon 29 Nov 2021

Name:Justus Fasse

Affiliation:Université Grenoble-Alpes; KU Leuven

Contributions

2025

FTfJP

Author of An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model within the FTfJP-track

2023

SPLASH

Author of Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs within the Posters-track

SOAP

Author of Completeness Thresholds for Memory Safety of Array Traversing Programs within the SOAP 2023-track

2022

CPP

Author of Formally Verified Superblock Scheduling within the CPP 2022-track