Jacques-Henri Jourdan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust. | Arnaud Golfouse, Armal Guneau, Jacques-Henri Jourdan |
| 2023 | TACAS | Specifying and Verifying Higher-order Rust Iterators. | Xavier Denis, Jacques-Henri Jourdan |
| 2022 | ICFEM | Creusot: A Foundry for the Deductive Verification of Rust Programs. | Xavier Denis, Jacques-Henri Jourdan, Claude March |
| 2022 | PLDI | RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code. | Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer |
| 2019 | ESOP | Time Credits and Time Receipts in Iris. | Glen Mvel, Jacques-Henri Jourdan, Franois Pottier |
| 2019 | ITP | Formal Proof and Analysis of an Incremental Cycle Detection Algorithm. | Armal Guneau, Jacques-Henri Jourdan, Arthur Charguraud, Franois Pottier |
| 2017 | ESOP | The Essence of Higher-Order Concurrent Separation Logic. | Robbert Krebbers, Ralf Jung, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal |
| 2015 | POPL | A Formally-Verified C Static Analyzer. | Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie |
| 2013 | ARITH | A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. | Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond |
| 2013 | ITP | Implementing Hash-Consed Structures in Coq. | Thomas Braibant, Jacques-Henri Jourdan, David Monniaux |
| 2012 | CHES | 3D Hardware Canaries. | Sbastien Briais, Stphane Caron, Jean-Michel Cioranesco, Jean-Luc Danger, Sylvain Guilley, Jacques-Henri Jourdan, Arthur Milchior, David Naccache, Thibault Porteboeuf |
| 2012 | ESOP | Validating LR(1) Parsers. | Jacques-Henri Jourdan, Franois Pottier, Xavier Leroy |