Access content directly

Denis Merigoux

20
Documents

Presentation

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

Publications

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

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
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

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

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

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

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
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