| 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 | 55 | 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 | 54 | 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 | 32 | 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 | 21 | 2021 |
| Catala: Moving towards the future of legal expert systems L Huttner, D Merigoux Artificial intelligence and law, 1-24, 2022 | 17 | 2022 |
| 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 | 17 | 2021 |
| Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust D Merigoux, F Kiefer, K Bhargavan Inria, 2021 | 13 | 2021 |
| 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 |
| Rules, Computation and Politics: Scrutinizing Unnoticed Programming Choices in French Housing Benefits D Merigoux, M Alauzen, W Slimani Journal of Cross-disciplinary Research in Computational Law 2 (1), 2023 | 5 | 2023 |
| Traduire la loi en code grâce au langage de programmation Catala L Huttner, D Merigoux Intelligence artificielle et finances publiques, 2020 | 5 | 2020 |
| Observations sur le calcul des aides au logement D Merigoux Inria Paris, 2022 | 4 | 2022 |
| É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 |
| 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 | 2 | 2023 |
| Formalizing date arithmetic and statically detecting ambiguities for the law R Monat, A Fromherz, D Merigoux European Symposium on Programming, 421-450, 2024 | 1 | 2024 |
| The Specification Problem of Legal Expert Systems D Merigoux | 1 | 2022 |
| De la transparence à l’explicabilité automatisée des algorithmes D Merigoux, M Alauzen, J Banuls, L Gesbert, É Rolley INRIA Paris, 2024 | | 2024 |
| Rules, Computation and Politics D Merigoux, M Alauzen, L Slimani Journal of Cross-disciplinary Research in Computational Law 1 (4), 2023 | | 2023 |
| Les sciences computationnelles peuvent-elles participer à l’innovation publique? D Merigoux Où en est l’innovation publique?, 2022 | | 2022 |
| Catala, un langage pour transformer la loi en code (démonstration) A Delaët, D Merigoux 33èmes Journées Francophones des Langages Applicatifs, 2022 | | 2022 |
| Catala: formaliser la loi grâce à un langage de programmation dédié D Merigoux, L Huttner 1024: Bulletin de la Société Informatique de France, 77-84, 2022 | | 2022 |
Jonathan ProtzenkoMicrosoft ResearchVerified email at ens-lyon.org
