Raphaël Monat

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 14

Top Topics

Abstract Interpretation

Concurrent Programs

Top Venues

Dagstuhl Artifacts Ser.

Publications

Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). TACAS (3) (2024)
Raphaël Monat, Aymeric Fromherz, Denis Merigoux
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. CoRR (2024)
Raphaël Monat, Aymeric Fromherz, Denis Merigoux
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. ESOP (2) (2024)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Easing Maintenance of Academic Static Analyzers. CoRR (2024)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution). TACAS (2) (2023)
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
A modern compiler for the French tax code. CC (2021)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
A Multilanguage Static Analysis of Python Programs with Native C Extensions. SAS (2021)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Static Type Analysis by Abstract Interpretation of Python Programs. ECOOP (2020)
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
A Modern Compiler for the French Tax Code. CoRR (2020)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Value and allocation sensitivity in static Python analyses. SOAP@PLDI (2020)
Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. VSTTE (2019)
Heiko Becker, Nikita Zyuzin, Raphaël Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. FMCAD (2018)
Raphaël Monat, Antoine Miné
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions. VMCAI (2017)