Denis Merigoux

24
Documents

Présentation

Publications

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

Deposit thumbnail

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

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 et al.

Proceedings of the ACM on Programming Languages, 2021, 5 (ICFP), pp.1-30. ⟨10.1145/3473590⟩

Article dans une revue hal-03466397v1
Deposit thumbnail

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

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-02936273v1
Deposit thumbnail

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

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

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

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

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

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

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

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

É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
Deposit thumbnail

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

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

Semantic Patch Inference

Denis Merigoux

Programming Languages [cs.PL]. 2016

Mémoire d'étudiant hal-02936287v1