Raphaël Monat

According to our database, Raphaël Monat authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).

Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.

Raphaël Monat, Aymeric Fromherz, Denis Merigoux

Proceedings of the Programming Languages and Systems, 2024

2023

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

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

PhD thesis, 2021

A Multilanguage Static Analysis of Python Programs with Native C Extensions.

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Static Analysis - 28th International Symposium, 2021

A modern compiler for the French tax code.

Denis Merigoux, Raphaël Monat, Jonathan Protzenko

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Dagstuhl Artifacts Ser., 2020

Value and allocation sensitivity in static Python analyses.

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

Static Type Analysis by Abstract Interpretation of Python Programs.

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer.

Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2018

A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4.

Heiko Becker, Nikita Zyuzin, Raphaël Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.

Raphaël Monat, Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017