Concepedia

Jacques-Henri Jourdan

JJ

Statistics

Publications

17

Citations

1.4K

H-Index

15

Active since

2013

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut national de recherche en sciences et technologies du numérique

Université Paris-Saclay

Laboratoire de Recherche en Informatique

Max Planck Institute for Software Systems

Jacques-Henri Jourdan is an author at Centre National de la Recherche Scientifique specializing in computer science, computing, and formal methods.

Publications per year

2013–2024

17

Publications

17

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 · 368 citations · Full text

Computing, Computer Science, Formal Methods +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 · 350 citations · Full text

Computing, Computer Science, Computer Systems +8

A Formally-Verified C Static Analyzer

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

Computing, Computer Engineering, Computer Science +17

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 · 90 citations · Full text

Computing, Computer Science, Formal Methods +10

RustBelt meets relaxed memory

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

Computing, Computer Science, Computer Systems +17

1–5 of 17