Denis Merigoux

13 papers A* 1B 1C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
Abstract machines and small-step semantics: a winning ticket for proof automation?
PPDP
Alain Delaët, Sandrine Blazy, Denis Merigoux
2024 — conf
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.
ESOP (2)
Raphaël Monat, Aymeric Fromherz, Denis Merigoux
2024 J jnl
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.
CoRR
Raphaël Monat, Aymeric Fromherz, Denis Merigoux
2021 B conf
A modern compiler for the French tax code.
CC
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
2021 J jnl
Catala: A Programming Language for the Law.
CoRR
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
2021 J jnl
Catala: a programming language for the law.
Proc. ACM Program. Lang.
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
2021 — —
Proof-oriented domain-specific language design for high-assurance software. (Design de langage dédié orienté vers la preuve pour le logiciel critique).
Denis Merigoux
2021 J jnl
Steel: proof-oriented programming in a dependently typed concurrent separation logic.
Proc. ACM Program. Lang.
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro
2021 J jnl
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs.
CoRR
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
2020 J jnl
A Modern Compiler for the French Tax Code.
CoRR
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
2020 J jnl
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.
Proc. ACM Program. Lang.
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
2019 A* conf
Formally Verified Cryptographic Web Applications in WebAssembly.
IEEE Symposium on Security and Privacy
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
2019 J jnl
Formally Verified Cryptographic Web Applications in WebAssembly.
IACR Cryptol. ePrint Arch.
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan