conf.researchr.org / Jacques-Henri Jourdan
Registered user since Tue 6 Sep 2016
Name:Jacques-Henri Jourdan
Country:France
Affiliation:CNR, LMF
Personal website: https://jhjourdan.mketjh.fr/
GitHub: https://github.com/jhjourdan
Research interests:Verification, Rust, Coq proof assistant
Contributions
2024
2021
2020
ICFP
2019
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