| 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 | 69 | 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 | 35 | 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 | 25 | 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 | 20 | 2021 |
| Catala: Moving towards the future of legal expert systems L Huttner, D Merigoux Artificial intelligence and law, 1-24, 2022 | 19 | 2022 |
| Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust D Merigoux, F Kiefer, K Bhargavan Inria, 2021 | 15 | 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 | 9 | 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 | 7 | 2023 |
| Traduire la loi en code grâce au langage de programmation Catala L Huttner, D Merigoux Intelligence artificielle et finances publiques, 2020 | 6 | 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 | 4 | 2023 |
| 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 |
| Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law R Monat, A Fromherz, D Merigoux European Symposium on Programming, 421-450, 2024 | 2 | 2024 |
| The Specification Problem of Legal Expert Systems D Merigoux | 2 | 2022 |
| Proof-Oriented Domain-Specific Language Design for High-Assurance Software D Merigoux Inria, 2021 | 1 | 2021 |
| Scoping AI & Law Projects: Wanting It All is Counterproductive D Merigoux Journal of Cross-disciplinary Research in Computational Law 2 (2), 2024 | | 2024 |
| 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 |
Jonathan ProtzenkoMicrosoft ResearchAdresse e-mail validée de ens-lyon.org
