| Catala: A Programming Language for the Law D Merigoux, N Chataing, J Protzenko Proceedings of the ACM on Programming Languages (ICFP) 5 (77), 1-29, 2021 | 112 | 2021 |
| Formally verified cryptographic web applications in webassembly J Protzenko, B Beurdouche, D Merigoux, K Bhargavan 2019 IEEE Symposium on Security and Privacy (SP), 1256-1274, 2019 | 71 | 2019 |
| SteelCore: an extensible concurrent separation logic for effectful dependently typed programs N Swamy, A Rastogi, A Fromherz, D Merigoux, D Ahman, G Martínez Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020 | 59 | 2020 |
| Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic A Fromherz, A Rastogi, N Swamy, S Gibson, G MartInez, D Merigoux, ... Proceedings of the ACM on Programming Languages (ICFP) 5 (85), 1-30, 2021 | 43 | 2021 |
| A modern compiler for the french tax code D Merigoux, R Monat, J Protzenko Proceedings of the 30th ACM SIGPLAN International Conference on Compiler …, 2021 | 27 | 2021 |
| Catala: Moving towards the future of legal expert systems L Huttner, D Merigoux Artificial intelligence and law, 1-24, 2022 | 26 | 2022 |
| Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust D Merigoux, F Kiefer, K Bhargavan Inria, 2021 | 24 | 2021 |
| Rules, Computation and Politics. Scrutinizing Unnoticed Programming Choices in French Housing Benefits D Merigoux, M Alauzen, L Slimani Journal of Cross-disciplinary Research in Computational Law 2 (1), 23, 2023 | 11 | 2023 |
| De la transparence à l’explicabilité automatisée des algorithmes: comprendre les obstacles informatiques, juridiques et organisationnels D Merigoux, M Alauzen, J Banuls, L Gesbert, É Rolley INRIA Paris, 2024 | 10 | 2024 |
| Formalizing date arithmetic and statically detecting ambiguities for the law R Monat, A Fromherz, D Merigoux European Symposium on Programming, 421-450, 2024 | 7 | 2024 |
| Turning Catala into a Proof Platform for the Law A Delaët, D Merigoux, A Fromherz POPL 2022-Programming Languages and the Law, 2022 | 7 | 2022 |
| Experience report: implementing a real-world, medium-sized program derived from a legislative specification D Merigoux Programming Languages and the Law 2023 (affiliated with POPL), 2023 | 6 | 2023 |
| Observations sur le calcul des aides au logement D Merigoux Inria Paris, 2022 | 5 | 2022 |
| Traduire la loi en code grâce au langage de programmation Catala L Huttner, D Merigoux Intelligence artificielle et finances publiques, 2020 | 5 | 2020 |
| The Specification Problem of Legal Expert Systems D Merigoux | 4 | 2022 |
| Proof-Oriented Domain-Specific Language Design for High-Assurance Software D Merigoux Inria, 2021 | 3 | 2021 |
| Étude formelle de l'implémentation du code des impôts D Merigoux, R Monat, C Gaie JFLA 2020-31ème Journées Francophones des Langages Applicatifs, 2020 | 3 | 2020 |
| Abstract machines and small-step semantics: a winning ticket for proof automation? A Delaët, S Blazy, D Merigoux Proceedings of the 27th International Symposium on Principles and Practice …, 2025 | | 2025 |
| Scaling Up Mechanized Proof Automation for Small-step Semantics S Blazy, A Delaët, D Merigoux | | 2024 |
| Scoping AI & Law Projects: Wanting It All is Counterproductive D Merigoux Journal of Cross-disciplinary Research in Computational Law 2 (2), 2024 | | 2024 |
Jonathan ProtzenkoGoogle Information Security EngineeringVerified email at ens-lyon.org
