Denis Merigoux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PPDP | Abstract machines and small-step semantics: a winning ticket for proof automation? | Alain Delat, Sandrine Blazy, Denis Merigoux |
| 2024 | ESOP | Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. | Raphal Monat, Aymeric Fromherz, Denis Merigoux |
| 2021 | CC | A modern compiler for the French tax code. | Denis Merigoux, Raphal Monat, Jonathan Protzenko |
| 2019 | SP | Formally Verified Cryptographic Web Applications in WebAssembly. | Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan |