Jacques-Henri Jourdan -

Registered user since Tue 5 Apr 2022

Name:Jacques-Henri Jourdan

Affiliation:Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles

Contributions

2026

Dafny

Committee Member in Program Committee within the Dafny 2026-track

2022

PLDI

Author of (ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model within the SIGPLAN Track-track
Author of RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code within the PLDI-track