Denis Merigoux
Présentation
Publications
Publications
|
|
Abstract machines and small-step semantics: a winning ticket for proof automation?PPDP 2025 - 27th International Symposium on Principles and Practice of Declarative Programming, Association for Computing Machinery, Sep 2025, Rende, Italy. ⟨10.1145/3756907.3756926⟩ |
|
|
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the LawESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg City, Luxembourg. pp.421-450, ⟨10.1007/978-3-031-57267-8_16⟩ |
|
|
Experience report: implementing a real-world, medium-sized program derived from a legislative specificationProgramming Languages and the Law 2023 (affiliated with POPL), Jan 2023, Boston (MA), United States |
|
|
Les sciences computationnelles peuvent-elles participer à l’innovation publique ?Où en est l’innovation publique ?, INSP, Nov 2022, Paris, France |
|
|
Turning Catala into a Proof Platform for the LawWorkshop on Programming Languages and the Law (ProLaLa), 2022, Jan 2022, Philadelphia, United States |
|
|
Catala, un langage pour transformer la loi en code (démonstration)33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.264-266 |
|
|
A Modern Compiler for the French Tax CodeCC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.71-82, ⟨10.1145/3446804.3446850⟩ |
Catala, a new Programming Language for Lawyers and DevelopersAcademic 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 |
|
Catala: A domain-specific programming language for implementing legislative textMIT Law IdeaFLow, Sep 2021, Cambridge, United States |
|
|
|
Traduire la loi en code grâce au langage de programmation CatalaIntelligence artificielle et finances publiques, Oct 2020, Nice, France |
|
|
Étude formelle de l'implémentation du code des impôtsJFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France |
|
|
Formally Verified Cryptographic Web Applications in WebAssemblySP 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩ |
|
|
The Specification Problem of Legal Expert Systems2022 |
|
|
De la transparence à l’explicabilité automatisée des algorithmes : comprendre les obstacles informatiques, juridiques et organisationnelsRR-9535, INRIA Paris. 2024, pp.68 |
|
|
Observations sur le calcul des aides au logement[Rapport de recherche] RR-9485, Inria Paris. 2022, pp.27 |
|
|
Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust[Technical Report] Inria. 2021 |
|
|
Proof-oriented domain-specific language design for high-assurance softwareProgramming Languages [cs.PL]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE006⟩ |
|
|
Semantic Patch InferenceProgramming Languages [cs.PL]. 2016 |