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 | 50 | 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 | 48 | 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 | 40 | 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 | 29 | 2018 |
Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries R Monat Sorbonne Université, LIP6 & CNRS, 2021 | 21* | 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 |
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 |
Easing Maintenance of Academic Static Analyzers R Monat, A Ouadjaout, A Miné arXiv preprint arXiv:2407.12499, 2024 | | 2024 |