conf.researchr.org / Jacques-Henri Jourdan
Registered user since Tue 6 Sep 2016
Name:Jacques-Henri Jourdan
Country:France
Affiliation:LMF, CNRS, Université Paris-Saclay
Personal website: https://jhjourdan.mketjh.fr/
GitHub: https://github.com/jhjourdan
Research interests:Verification, Rust, Coq proof assistant
Contributions
2027
2026
2024
2021
2020
ICFP
2019
ML Family Workshop
2018
POPL
- Author of Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic. within the TutorialFest-track
- Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Artifact Evaluation-track
- Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Research Papers-track