Raphaël Monat

28 papers A 2B 5Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution).
TACAS (2)
Marco Milanese, Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2026 B conf
Try-Mopsa: Relational Static Analysis in Your Pocket.
VMCAI
Raphaël Monat
2025 — conf
CUTECat: Concolic Execution for Computational Law.
ESOP (2)
Pierre Goutagny, Aymeric Fromherz, Raphaël Monat
2025 J jnl
Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact).
Dagstuhl Artifacts Ser.
Milla Valnet, Raphaël Monat, Antoine Miné
2025 A conf
Compositional Static Value Analysis for Higher-Order Numerical Programs.
ECOOP
Milla Valnet, Raphaël Monat, Antoine Miné
2025 J jnl
Front Matter, Table of Contents, Preface, Conference Organization.
Dagstuhl Artifacts Ser.
Karine Even-Mendoza, Raphaël Monat, Yannick Zakowski
2025 — conf
Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution).
TACAS (3)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2025 J jnl
State of the art in program analysis.
Int. J. Softw. Tools Technol. Transf.
Raphaël Monat, Cindy Rubio-González
2025 J jnl
Try-Mopsa: Relational Static Analysis in Your Pocket.
CoRR
Raphaël Monat
2024 J jnl
CUTECat: Concolic Execution for Computational Law.
CoRR
Pierre Goutagny, Aymeric Fromherz, Raphaël Monat
2024 J jnl
Easing Maintenance of Academic Static Analyzers.
CoRR
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2024 J jnl
Easing maintenance of academic static analyzers.
Int. J. Softw. Tools Technol. Transf.
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2024 — conf
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.
ESOP (2)
Raphaël Monat, Aymeric Fromherz, Denis Merigoux
2024 J jnl
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.
CoRR
Raphaël Monat, Aymeric Fromherz, Denis Merigoux
2024 J jnl
Front Matter, Table of Contents, Preface, Conference Organization.
Dagstuhl Artifacts Ser.
Karine Even-Mendoza, Raphaël Monat
2024 — conf
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).
TACAS (3)
Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné
2024 — ed.
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2024, Copenhagen, Denmark, 25 June 2024
SOAP@PLDI
Raphaël Monat, Cindy Rubio-González
2023 — conf
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).
TACAS (2)
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2021 B conf
A Multilanguage Static Analysis of Python Programs with Native C Extensions.
SAS
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2021 B conf
A modern compiler for the French tax code.
CC
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
2021 — —
Static type and value analysis by abstract interpretation of Python programs with native C libraries. (Analyse statique, de type et de valeur, par interprétation abstraite, de programmes Python utilisant des librairies C).
Raphaël Monat
2020 J jnl
A Modern Compiler for the French Tax Code.
CoRR
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
2020 J jnl
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).
Dagstuhl Artifacts Ser.
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2020 A conf
Static Type Analysis by Abstract Interpretation of Python Programs.
ECOOP
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2020 — conf
Value and allocation sensitivity in static Python analyses.
SOAP@PLDI
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
2019 — conf
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.
VSTTE
Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
2018 B conf
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4.
FMCAD
Heiko Becker, Nikita Zyuzin, Raphaël Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox
2017 B conf
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.
VMCAI
Raphaël Monat, Antoine Miné