Denis Merigoux

Présentation

Publications

Article dans une revue (6)

Rules, Computation and Politics. Scrutinizing Unnoticed Programming Choices in French Housing Benefits Denis Merigoux,Marie Alauzen,Lilya Slimani Journal of Cross-disciplinary Research in Computational Law, 2023, 2 (1), pp.23 Article dans une revue hal-03712130v3
Catala : formaliser la loi grâce à un langage de programmation dédié Denis Merigoux,Liane Huttner 1024 : Bulletin de la Société Informatique de France, 2022, 20, pp.77-84. ⟨10.48556/SIF.1024.20.77⟩ Article dans une revue hal-03974862v1
Catala: Moving Towards the Future of Legal Expert Systems Liane Huttner,Denis Merigoux Artificial Intelligence and Law, 2022, ⟨10.1007/s10506-022-09328-5⟩ Article dans une revue hal-02936606v3
Steel: proof-oriented programming in a dependently typed concurrent separation logic Aymeric Fromherz,Aseem Rastogi,Nikhil Swamy,Sydney Gibson,Guido Martínezet al. Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩ Article dans une revue hal-03466397v1
Catala: A Programming Language for the Law Denis Merigoux,Nicolas Chataing,Jonathan Protzenko Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.77:1-29. ⟨10.1145/3473582⟩ Article dans une revue hal-03159939v2
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs Nikhil Swamy,Aseem Rastogi,Aymeric Fromherz,Denis Merigoux,Danel Ahmanet al. Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩ Article dans une revue hal-02936273v1

Communication dans un congrès (12)

Abstract machines and small-step semantics: a winning ticket for proof automation? Alain Delaët,Sandrine Blazy,Denis Merigoux PPDP 2025 - 27th International Symposium on Principles and Practice of Declarative Programming, Association for Computing Machinery, Sep 2025, Rende, Italy. ⟨10.1145/3756907.3756926⟩ Communication dans un congrès hal-04536981v2
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law Raphaël Monat,Aymeric Fromherz,Denis Merigoux ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg City, Luxembourg. pp.421-450, ⟨10.1007/978-3-031-57267-8_16⟩ Communication dans un congrès hal-04536403v1
Experience report: implementing a real-world, medium-sized program derived from a legislative specification Denis Merigoux Programming Languages and the Law 2023 (affiliated with POPL), Jan 2023, Boston (MA), United States Communication dans un congrès hal-03933574v1
Turning Catala into a Proof Platform for the Law Alain Delaët,Denis Merigoux,Aymeric Fromherz Workshop on Programming Languages and the Law (ProLaLa), 2022, Jan 2022, Philadelphia, United States Communication dans un congrès hal-03447072v1
Les sciences computationnelles peuvent-elles participer à l’innovation publique ? Denis Merigoux Où en est l’innovation publique ?, INSP, Nov 2022, Paris, France Communication dans un congrès hal-03933587v1
Catala, un langage pour transformer la loi en code (démonstration) Alain Delaët,Denis Merigoux 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.264-266 Communication dans un congrès hal-03626853v1
A Modern Compiler for the French Tax Code Denis Merigoux,Raphaël Monat,Jonathan Protzenko CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.71-82, ⟨10.1145/3446804.3446850⟩ Communication dans un congrès hal-03002266v3
Catala, a new Programming Language for Lawyers and Developers Liane Huttner,Denis Merigoux Academic Symposium - Law + Computation: An Algorithm for the Rule of Law and Justice?, Northwestern Law and Technology Initiative and the Northwestern Journal of Technology and Intellectual Property, Feb 2021, Chicago, United States Communication dans un congrès hal-04203703v1
Catala: A domain-specific programming language for implementing legislative text Liane Huttner,Denis Merigoux MIT Law IdeaFLow, Sep 2021, Cambridge, United States Communication dans un congrès hal-04203716v1
Traduire la loi en code grâce au langage de programmation Catala Liane Huttner,Denis Merigoux Intelligence artificielle et finances publiques, Oct 2020, Nice, France Communication dans un congrès hal-03128248v1
Étude formelle de l'implémentation du code des impôts Denis Merigoux,Raphaël Monat,Christophe Gaie JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France Communication dans un congrès hal-02320347v3
Formally Verified Cryptographic Web Applications in WebAssembly Jonathan Protzenko,Benjamin Beurdouche,Denis Merigoux,Karthikeyan Bhargavan SP 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩ Communication dans un congrès hal-02294935v1

Pré-publication, Document de travail (1)

The Specification Problem of Legal Expert Systems Denis Merigoux 2022 Pré-publication, Document de travail hal-03541637v1

Rapport (3)

De la transparence à l’explicabilité automatisée des algorithmes : comprendre les obstacles informatiques, juridiques et organisationnels Denis Merigoux,Marie Alauzen,Justine Banuls,Louis Gesbert,Émile Rolley RR-9535, INRIA Paris. 2024, pp.68 Rapport hal-04391612v1
Observations sur le calcul des aides au logement Denis Merigoux [Rapport de recherche] RR-9485, Inria Paris. 2022, pp.27 Rapport hal-03781578v1
Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust Denis Merigoux,Franziskus Kiefer,Karthikeyan Bhargavan [Technical Report] Inria. 2021 Rapport (rapport technique) hal-03176482v1

Thèse (1)

Proof-oriented domain-specific language design for high-assurance software Denis Merigoux Programming Languages [cs.PL]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE006⟩ Thèse tel-03622012v1

Mémoire d'étudiant (1)

Semantic Patch Inference Denis Merigoux Programming Languages [cs.PL]. 2016 Mémoire d'étudiant hal-02936287v1