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