Liste des publications

Denis Merigoux, Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, et al.. Steel: proof-oriented programming in a dependently typed concurrent separation logic. Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩. ⟨hal-03466397⟩

Denis Merigoux, Nicolas Chataing, Jonathan Protzenko. Catala: A Programming Language for the Law. Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (ICFP), pp.77:1-29. ⟨10.1145/3473582⟩. ⟨hal-03159939v2⟩

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, et al.. SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩. ⟨hal-02936273⟩

Alain Delaët, Denis Merigoux, Aymeric Fromherz. Turning Catala into a Proof Platform for the Law. POPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States. ⟨hal-03447072⟩

Alain Delaët, Denis Merigoux. Catala, un langage pour transformer la loi en code (démonstration). 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. ⟨hal-03626853⟩

Denis Merigoux, Raphaël Monat, Jonathan Protzenko. A Modern Compiler for the French Tax Code. CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.71-82, ⟨10.1145/3446804.3446850⟩. ⟨hal-03002266v3⟩

Denis Merigoux, Raphaël Monat, Christophe Gaie. Étude formelle de l'implémentation du code des impôts. JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. ⟨hal-02320347v3⟩

Liane Huttner, Denis Merigoux. Traduire la loi en code grâce au langage de programmation Catala. Intelligence artificielle et finances publiques, Oct 2020, Nice, France. ⟨hal-03128248⟩

Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan. Formally Verified Cryptographic Web Applications in WebAssembly. SP 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩. ⟨hal-02294935⟩

Denis Merigoux. The Specification Problem of Legal Expert Systems. 2022. ⟨hal-03541637⟩

Liane Huttner, Denis Merigoux. Catala: Moving Towards the Future of Legal Expert Systems. 2022. ⟨hal-02936606v2⟩

Denis Merigoux, Franziskus Kiefer, Karthikeyan Bhargavan. Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust. [Technical Report] Inria. 2021. ⟨hal-03176482⟩

Denis Merigoux. Semantic Patch Inference. Programming Languages [cs.PL]. 2016. ⟨hal-02936287⟩