| Static type analysis by abstract interpretation of Python programs R Monat, A Ouadjaout, A Miné 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 52 | 2020 |
| Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer⋆ M Journault, A Miné, R Monat, A Ouadjaout Proc. of the 11th Working Conference on Verified Software: Theories, Tools …, 2020 | 49 | 2020 |
| A Multilanguage Static Analysis of Python Programs with Native C Extensions R Monat, A Ouadjaout, A Miné International Static Analysis Symposium, 323-345, 2021 | 41 | 2021 |
| A verified certificate checker for finite-precision error bounds in Coq and HOL4 H Becker, N Zyuzin, R Monat, E Darulova, MO Myreen, A Fox 2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018 | 30 | 2018 |
| Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries R Monat Sorbonne Université, LIP6 & CNRS, 2021 | 22* | 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 |
| Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions R Monat, A Miné International Conference on Verification, Model Checking, and Abstract …, 2017 | 20 | 2017 |
| Value and allocation sensitivity in static Python analyses R Monat, A Ouadjaout, A Miné Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of …, 2020 | 10 | 2020 |
| Mopsa-C: Modular domains and relational abstract interpretation for C programs (competition contribution) R Monat, A Ouadjaout, A Miné International Conference on Tools and Algorithms for the Construction and …, 2023 | 7 | 2023 |
| Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs M Valnet, R Monat, A Miné JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 211-242, 2023 | 4 | 2023 |
| Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution) R Monat, M Milanese, F Parolini, J Boillot, A Ouadjaout, A Miné TACAS, 2024 | 3 | 2024 |
| É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 ESOP, 2024 | 2 | 2024 |
| Static Type Analysis by Abstract Interpretation of Python Programs (Artifact) R Monat, A Ouadjaout, A Miné Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020 | 2 | 2020 |
| Easing Maintenance of Academic Static Analyzers R Monat, A Ouadjaout, A Miné arXiv preprint arXiv:2407.12499, 2024 | 1 | 2024 |
| Démonstration de la plateforme Mopsa d’analyse statique de programmes par interprétation abstraite M Journault, A Miné, R Monat, A Ouadjaout 32 ème Journées Francophones des Langages Applicatifs, 45, 2021 | 1 | 2021 |
Antoine MinéSorbonne Université, LIP6, APRVerified email at lip6.fr
