Denis Merigoux

24
Documents

Présentation

Publications

3
2
7
7
3
1
1
5
4
3
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
22
1
1
1

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

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-03974862 v1
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-02936606 v3

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

Aymeric Fromherz , Aseem Rastogi , Nikhil Swamy , Sydney Gibson , Guido Martínez et al.
Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩
Article dans une revue hal-03466397 v1
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-03159939 v2
Image document

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

Nikhil Swamy , Aseem Rastogi , Aymeric Fromherz , Denis Merigoux , Danel Ahman et al.
Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-30. ⟨10.1145/3409003⟩
Article dans une revue hal-02936273 v1
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⟩
Communication dans un congrès hal-04536403 v1
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-03933574 v1
Image document

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-03447072 v1
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-03933587 v1
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-03626853 v1

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

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-04203716 v1
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-03002266 v3
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-03128248 v1
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-02320347 v3
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-02294935 v1
Image document

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-03622012 v1
Image document

Semantic Patch Inference

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