| 2026 | ECOOP | Comparing Transparent Static Analyzers with Open Verification Dashboard. | Tom Goalard, Karoliine Holter, Simmo Saan, Vesal Vojdani, Raphal Monat |
| 2026 | ECOOP | The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State. | Sven Keidel, Raphal Monat, Sebastian Erdweg |
| 2026 | ECOOP | DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis. | Milla Valnet, Raphal Monat, Antoine Min |
| 2026 | TACAS | Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution). | Marco Milanese, Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2026 | VMCAI | Try-Mopsa: Relational Static Analysis in Your Pocket. | Raphal Monat |
| 2025 | ECOOP | Compositional Static Value Analysis for Higher-Order Numerical Programs. | Milla Valnet, Raphal Monat, Antoine Min |
| 2025 | ESOP | CUTECat: Concolic Execution for Computational Law. | Pierre Goutagny, Aymeric Fromherz, Raphal Monat |
| 2025 | TACAS | Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution). | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2024 | ESOP | Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. | Raphal Monat, Aymeric Fromherz, Denis Merigoux |
| 2024 | TACAS | Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). | Raphal Monat, Marco Milanese, Francesco Parolini, Jrme Boillot, Abdelraouf Ouadjaout, Antoine Min |
| 2023 | TACAS | Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2021 | CC | A modern compiler for the French tax code. | Denis Merigoux, Raphal Monat, Jonathan Protzenko |
| 2021 | SAS | A Multilanguage Static Analysis of Python Programs with Native C Extensions. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2020 | ECOOP | Static Type Analysis by Abstract Interpretation of Python Programs. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2020 | PLDI | Value and allocation sensitivity in static Python analyses. | Raphal Monat, Abdelraouf Ouadjaout, Antoine Min |
| 2018 | FMCAD | A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. | Heiko Becker, Nikita Zyuzin, Raphal Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox |
| 2017 | VMCAI | Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions. | Raphal Monat, Antoine Min |