Denis Merigoux
22
Documents
Presentation
Personal web page: <https://merigoux.ovh>
Publications
- 21
- 1
- 1
- 2
- 2
- 7
- 6
- 3
- 1
- 1
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
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⟩
Conference papers
hal-04536403v1
|
|
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
Conference papers
hal-03933574v1
|
|
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
Conference papers
hal-03626853v1
|
|
Les sciences computationnelles peuvent-elles participer à l’innovation publique ?Où en est l’innovation publique ?, INSP, Nov 2022, Paris, France
Conference papers
hal-03933587v1
|
|
Turning Catala into a Proof Platform for the LawPOPL 2022 - Programming Languages and the Law, Jan 2022, Philadelphia, United States
Conference papers
hal-03447072v1
|
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
Conference papers
hal-04203703v1
|
|
Catala: A domain-specific programming language for implementing legislative textMIT Law IdeaFLow, Sep 2021, Cambridge, United States
Conference papers
hal-04203716v1
|
|
|
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⟩
Conference papers
hal-03002266v3
|
|
Étude formelle de l'implémentation du code des impôtsJFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Conference papers
hal-02320347v3
|
|
Traduire la loi en code grâce au langage de programmation CatalaIntelligence artificielle et finances publiques, Oct 2020, Nice, France
Conference papers
hal-03128248v1
|
|
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⟩
Conference papers
hal-02294935v1
|
|
The Specification Problem of Legal Expert Systems2022
Preprints, Working Papers, ...
hal-03541637v1
|
|
De la transparence à l’explicabilité automatisée des algorithmes : comprendre les obstacles informatiques, juridiques et organisationnelsRR-9535, INRIA Paris. 2024, pp.68
Reports
hal-04391612v1
|
|
Observations sur le calcul des aides au logement[Rapport de recherche] RR-9485, Inria Paris. 2022, pp.27
Reports
hal-03781578v1
|
|
Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust[Technical Report] Inria. 2021
Reports
hal-03176482v1
|
|
Semantic Patch InferenceProgramming Languages [cs.PL]. 2016
Master thesis
hal-02936287v1
|