Denis Merigoux

According to our database, Denis Merigoux authored at least 8 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Abstract machines and small-step semantics: a winning ticket for proof automation?

Alain Delaët, Sandrine Blazy, Denis Merigoux

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025

2024

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.

Raphaël Monat, Aymeric Fromherz, Denis Merigoux

Proceedings of the Programming Languages and Systems, 2024

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

PhD thesis, 2021

Catala: a programming language for the law.

Denis Merigoux, Nicolas Chataing, Jonathan Protzenko

Proc. ACM Program. Lang., 2021

Steel: proof-oriented programming in a dependently typed concurrent separation logic.

Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro

Proc. ACM Program. Lang., 2021

A modern compiler for the French tax code.

Denis Merigoux, Raphaël Monat, Jonathan Protzenko

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez

Proc. ACM Program. Lang., 2020

2019

Formally Verified Cryptographic Web Applications in WebAssembly.

Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019