Sandrine Blazy, Alain Delaët, and Denis Merigoux. Scaling Up Mechanized Proof Automation for Small-step Semantics. working paper or preprint, November 2024. [ http | .pdf ]

Raphaël Monat, Aymeric Fromherz, and Denis Merigoux. Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. In Stephanie Weirich, editor, ESOP 2024 - 33rd European Symposium on Programming, volume 14577 of Lecture Notes in Computer Science, pages 421--450, Luxembourg City, Luxembourg, April 2024. Springer Nature Switzerland. [ DOI | http | .pdf ]

Denis Merigoux, Marie Alauzen, Justine Banuls, Louis Gesbert, and Émile Rolley. De la transparence à l'explicabilité automatisée des algorithmes : comprendre les obstacles informatiques, juridiques et organisationnels. Technical Report RR-9535, INRIA Paris, January 2024. [ http | .pdf ]

Denis Merigoux. Experience report: implementing a real-world, medium-sized program derived from a legislative specification. In Programming Languages and the Law 2023 (affiliated with POPL), Boston (MA), United States, January 2023. [ http | .pdf ]

Denis Merigoux, Marie Alauzen, and Lilya Slimani. Rules, Computation and Politics. Scrutinizing Unnoticed Programming Choices in French Housing Benefits. Journal of Cross-disciplinary Research in Computational Law, 2(1):23, 2023. [ http | .pdf ]

Denis Merigoux. Les sciences computationnelles peuvent-elles participer à l'innovation publique ? In Où en est l'innovation publique ?, Paris, France, November 2022. INSP. [ http | .pdf ]

Denis Merigoux and Liane Huttner. Catala : formaliser la loi grâce à un langage de programmation dédié. 1024 : Bulletin de la Société Informatique de France, (20):77--84, November 2022. [ DOI | http ]

Denis Merigoux. Observations sur le calcul des aides au logement. Research Report RR-9485, Inria Paris, September 2022. [ http | .pdf ]

Liane Huttner and Denis Merigoux. Catala: Moving Towards the Future of Legal Expert Systems. Artificial Intelligence and Law, August 2022. [ DOI | http | .pdf ]

Alain Delaët and Denis Merigoux. Catala, un langage pour transformer la loi en code (démonstration). In Chantal Keller and Timothy Bourke, editors, 33èmes Journées Francophones des Langages Applicatifs, pages 264--266, Saint-Médard-d'Excideuil, France, June 2022. [ http | .pdf ]

Denis Merigoux. The Specification Problem of Legal Expert Systems. working paper or preprint, January 2022. [ http | .pdf ]

Alain Delaët, Denis Merigoux, and Aymeric Fromherz. Turning Catala into a Proof Platform for the Law. In POPL 2022 - Programming Languages and the Law, Philadelphia, United States, January 2022. [ http | .pdf ]

Denis Merigoux. Proof-oriented domain-specific language design for high-assurance software. Theses, Université Paris sciences et lettres, December 2021. [ http | .pdf ]

Liane Huttner and Denis Merigoux. Catala: A domain-specific programming language for implementing legislative text. In MIT Law IdeaFLow, Cambridge, United States, September 2021. [ http ]

Denis Merigoux, Nicolas Chataing, and Jonathan Protzenko. Catala: A Programming Language for the Law. Proceedings of the ACM on Programming Languages, 5(ICFP):77:1--29, August 2021. [ DOI | http | .pdf ]

Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, and Tahina Ramananandro. Steel: proof-oriented programming in a dependently typed concurrent separation logic. Proceedings of the ACM on Programming Languages, 5(ICFP):1--30, August 2021. [ DOI | http ]

Denis Merigoux, Raphaël Monat, and Jonathan Protzenko. A Modern Compiler for the French Tax Code. In CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, pages 71--82, Virtual, South Korea, March 2021. ACM. [ DOI | http | .pdf ]

Denis Merigoux, Franziskus Kiefer, and Karthikeyan Bhargavan. Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust. Technical report, Inria, March 2021. [ http | .pdf ]

Liane Huttner and Denis Merigoux. Catala, a new Programming Language for Lawyers and Developers. In Academic Symposium - Law + Computation: An Algorithm for the Rule of Law and Justice?, Chicago, United States, February 2021. Northwestern Law and Technology Initiative and the Northwestern Journal of Technology and Intellectual Property. [ http ]

Liane Huttner and Denis Merigoux. Traduire la loi en code grâce au langage de programmation Catala. In Intelligence artificielle et finances publiques, Nice, France, October 2020. [ http | .pdf ]

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, and Guido Martínez. SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. Proceedings of the ACM on Programming Languages, 4(ICFP):1--30, August 2020. [ DOI | http | .pdf ]

Denis Merigoux, Raphaël Monat, and Christophe Gaie. Étude formelle de l'implémentation du code des impôts. In JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Gruissan, France, January 2020. [ http | .pdf ]

Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, and Karthikeyan Bhargavan. Formally Verified Cryptographic Web Applications in WebAssembly. In SP 2019 - 40th IEEE Symposium on Security and Privacy, pages 1256--1274, San Francisco, United States, May 2019. IEEE. [ DOI | http | .pdf ]

Denis Merigoux. Semantic Patch Inference. Master's thesis, École polytechnique, July 2016. [ http | .pdf ]