Accéder directement au contenu

Denis Merigoux

21
Documents

Présentation

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
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
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⟩
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ínez
Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩
Article dans une revue 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⟩
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 Ahman
Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩
Article dans une revue hal-02936273v1
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
Communication dans un congrès hal-03933574v1
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
Communication dans un congrès hal-03447072v1
Image document

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
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
Communication dans un congrès hal-03626853v1
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⟩
Communication dans un congrès hal-03002266v3

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

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
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
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès hal-02294935v1
Image document

Semantic Patch Inference

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