Jacques-Henri Jourdan

Registered user since Tue 6 Sep 2016

Name: Jacques-Henri Jourdan

Country: France

Affiliation: Universersité Paris Saclay, CNRS, LRI

Personal website: https://jhjourdan.mketjh.fr/

Research interests: Verification, Rust, Abstract interpretation, Coq proof assistant

Contributions

CoqPL 2021Committee Member in Program Committee within the CoqPL-track
HOPE 2020Committee Member in Program Committee within the HOPE 2020-track
ICFP 2020Author of Cosmo: A Concurrent Separation Logic for Multicore OCaml within the ICFP Program-track
ML 2019Committee Member in Program Committee within the ML 2019-track
POPL 2020Author of Spy Game: Verifying a Local Generic Solver in Iris within the Research Papers-track
Author of RustBelt Meets Relaxed Memory within the Research Papers-track
ESOP 2019Author of Time Credits and Time Receipts in Iris within the ESOP 2019-track
ICFP 2019Committee Member in Program Committee within the Research Papers-track
ICFP 2018Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
HOPE 2017Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track
POPL 2018Author 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
OCaml 2016Author of Statistically profiling memory in OCaml within the OCaml-track