Denis Merigoux

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Programs Written

Programming Language

Classical Logic

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

IACR Cryptol. ePrint Arch.

Publications

Raphaël Monat, Aymeric Fromherz, Denis Merigoux
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. CoRR (2024)
Raphaël Monat, Aymeric Fromherz, Denis Merigoux
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. ESOP (2) (2024)
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs. CoRR (2021)
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro
Steel: proof-oriented programming in a dependently typed concurrent separation logic. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
A modern compiler for the French tax code. CC (2021)
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
Catala: A Programming Language for the Law. CoRR (2021)
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
Catala: a programming language for the law. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
A Modern Compiler for the French Tax Code. CoRR (2020)
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
Formally Verified Cryptographic Web Applications in WebAssembly. IEEE Symposium on Security and Privacy (2019)
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
Formally Verified Cryptographic Web Applications in WebAssembly. IACR Cryptol. ePrint Arch. 2019 (2019)