Jacques-Henri Jourdan

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan et al. · Journal of Functional Programming · 2018 · 353 citations · Full text

Engineering, Verification, Automated Proof +16

RustBelt: securing the foundations of the Rust programming language

Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers et al. · Proceedings of the ACM on Programming Languages · 2017 · 331 citations · Full text

Engineering, Information Security, Verification +21

A Formally-Verified C Static Analyzer

Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy et al. · 2014 · 121 citations · Full text

Program Checking, Engineering, Verification +19

MoSeL: a general, extensible modal framework for interactive proofs in separation logic

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al. · Proceedings of the ACM on Programming Languages · 2018 · 86 citations · Full text

Engineering, Verification, Automated Proof +18

RustBelt meets relaxed memory

Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser et al. · Proceedings of the ACM on Programming Languages · 2019 · 61 citations · Full text

Engineering, Verification, Arc Library +21