Access content directly

Denis Merigoux

22
Documents

Presentation

Personal web page: <https://merigoux.ovh>

Publications

Image document

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
Journal articles hal-03712130v3
Image document

Catala: Moving Towards the Future of Legal Expert Systems

Liane Huttner , Denis Merigoux
Artificial Intelligence and Law, 2022, ⟨10.1007/s10506-022-09328-5⟩
Journal articles hal-02936606v3

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⟩
Journal articles hal-03974862v1

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

Aymeric Fromherz , Aseem Rastogi , Nikhil Swamy , Sydney Gibson , Guido Martínez
Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩
Journal articles hal-03466397v1
Image document

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⟩
Journal articles hal-03159939v2
Image document

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

Nikhil Swamy , Aseem Rastogi , Aymeric Fromherz , Denis Merigoux , Danel Ahman
Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩
Journal articles hal-02936273v1
Image document

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⟩
Conference papers hal-04536403v1
Image document

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
Conference papers hal-03933574v1
Image document

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
Conference papers hal-03626853v1
Image document

Les sciences computationnelles peuvent-elles participer à l’innovation publique ?

Denis Merigoux
Où en est l’innovation publique ?, INSP, Nov 2022, Paris, France
Conference papers hal-03933587v1
Image document

Turning Catala into a Proof Platform for the Law

Alain Delaët , Denis Merigoux , Aymeric Fromherz
POPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States
Conference papers hal-03447072v1

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
Conference papers hal-04203703v1

Catala: A domain-specific programming language for implementing legislative text

Liane Huttner , Denis Merigoux
MIT Law IdeaFLow, Sep 2021, Cambridge, United States
Conference papers hal-04203716v1
Image document

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⟩
Conference papers hal-03002266v3
Image document

É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
Conference papers hal-02320347v3
Image document

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
Conference papers hal-03128248v1
Image document

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⟩
Conference papers hal-02294935v1
Image document

Semantic Patch Inference

Denis Merigoux
Programming Languages [cs.PL]. 2016
Master thesis hal-02936287v1