Justus Fasse - ECOOP 2025

Mon 30 June - Fri 4 July 2025 Bergen, Norway

Registered user since Mon 29 Nov 2021

Name:Justus Fasse

Affiliation:Université Grenoble-Alpes; KU Leuven

Contributions

2025

FTfJP

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

Show activities from other conferences

Using general profile