
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
|
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⟩
Communication dans un congrès
hal-04536403
v1
|
|
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-03933574
v1
|
|
Turning Catala into a Proof Platform for the LawWorkshop on Programming Languages and the Law (ProLaLa), 2022, Jan 2022, Philadelphia, United States
Communication dans un congrès
hal-03447072
v1
|
|
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-03933587
v1
|
|
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-03626853
v1
|
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-04203703
v1
|
|
Catala: A domain-specific programming language for implementing legislative textMIT Law IdeaFLow, Sep 2021, Cambridge, United States
Communication dans un congrès
hal-04203716
v1
|
|
|
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-03002266
v3
|
|
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-03128248
v1
|
|
É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-02320347
v3
|
|
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-02294935
v1
|
|
Scaling Up Mechanized Proof Automation for Small-step Semantics2024
Pré-publication, Document de travail
hal-04536981
v1
|
|
The Specification Problem of Legal Expert Systems2022
Pré-publication, Document de travail
hal-03541637
v1
|
|
De la transparence à l’explicabilité automatisée des algorithmes : comprendre les obstacles informatiques, juridiques et organisationnelsRR-9535, INRIA Paris. 2024, pp.68
Rapport
hal-04391612
v1
|
|
Observations sur le calcul des aides au logement[Rapport de recherche] RR-9485, Inria Paris. 2022, pp.27
Rapport
hal-03781578
v1
|
|
Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust[Technical Report] Inria. 2021
Rapport
(rapport technique)
hal-03176482
v1
|
|
Proof-oriented domain-specific language design for high-assurance softwareProgramming Languages [cs.PL]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLE006⟩
Thèse
tel-03622012
v1
|
|
Semantic Patch InferenceProgramming Languages [cs.PL]. 2016
Mémoire d'étudiant
hal-02936287
v1
|
Chargement...
Chargement...