Raphaël Monat
Raphaël Monat
Home
Publications
Ph.D
Talks
Software
Community Service
Students
Posts
Light
Dark
Automatic
Recent & Upcoming Talks
2023
A Multilanguage Static Analysis of Python/C Programs with Mopsa
Mopsa is a conservative static analysis platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions (numeric, pointer, memory, etc.) and syntax iterators for new languages. Mopsa encourages the development of independent abstractions which can cooperate or be combined to improve precision.
11/07/23
Dagstuhl 23281
Schloss Dagstuhl
Slides
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)
Mopsa is a multilanguage static analysis platform relying on abstract interpretation. It is able to analyze C, Python, and programs …
24/04/23
TACAS 2023 – SV-Comp
Paris
From Python to the Income Tax Code: Applying Formal Methods to Real-World Systems
Le but de mes recherches est d’améliorer la qualité des logiciels. J’utilise pour cela le domaine des méthodes formelles, afin de …
23/03/23
CS Dept. Seminar
ENS Paris
Slides
The Mopsa static analysis framework and its participation at SV-Comp 2023
The goal of my research is to improve the quality of software. I use for that the field of formal methods, in order to define precisely …
10/03/23
30 minutes of science
Inria Lille
Slides
Mopsa at the Software Verification Competition
Mopsa is a multilanguage static analysis platform relying on abstract interpretation. It is able to analyze C, Python, and programs …
09/02/23
Inria ProgLang day
ENS Paris
Slides
2022
A Multilanguage Static Analysis of Python/C Programs with Mopsa
Mopsa is a conservative static analysis platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions (numeric, pointer, memory, etc.) and syntax iterators for new languages. Mopsa encourages the development of independent abstractions which can cooperate or be combined to improve precision.
07/07/22
Software Languages Lab, Vrije Universiteit Brussels
Slides
Formal methods for realistic systems: a study of two cases
The goal of my research is to improve the quality of software. I use for that the field of formal methods, in order to define precisely the behavior of programs. This allows to reason rigorously about these behaviors (to detect dangerous states for example).
28/04/22
LIP, ENS de Lyon
Slides
A Multilanguage Static Analysis of Python/C Programs with Mopsa
Mopsa is a conservative static analysis platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions (numeric, pointer, memory, etc.) and syntax iterators for new languages. Mopsa encourages the development of independent abstractions which can cooperate or be combined to improve precision.
17/03/22
SRG Seminar
Imperial College, London
Slides
Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries
We aim at designing both theoretically and experimentally methods for the automatic detection of potential bugs in software – or the proof of the absence thereof. This detection is done statically by analyzing programs' source code without running them.
16/02/22
MTV Seminar
LaBRI, Bordeaux
Slides
A Multilanguage Static Analysis of Python/C Programs with Mopsa
Mopsa is a static analyzer platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions (numeric, pointer, memory, etc.) and syntax iterators for new languages. Mopsa encourages the development of independent abstractions which can cooperate or be combined to improve precision.
31/01/22
SyCoMoRES Seminar
CRIStAL, Lille
Slides
2021
A Modern Compiler for the French Tax Code
In France, income tax is computed from taxpayers' individual returns, using an algorithm that is authored, designed and maintained by …
02/12/21
IRILL Seminar
IRILL, Sorbonne Université, Paris
Slides
A Multilanguage Static Analysis of Python/C Programs with Mopsa
Mopsa is a static analyzer platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions …
01/12/21
Facebook TAV Symposium
Virtual
Slides
Mopsa (research)
Mopsa (code)
Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries
We aim at designing both theoretically and experimentally methods for the automatic detection of potential bugs in software – or the proof of the absence thereof. This detection is done statically by analyzing programs' source code without running them.
29/11/21
CASH Seminar
LIP, Lyon
Slides
A Multilanguage Static Analysis of Python/C Programs with Mopsa
Mopsa is a static analyzer platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions …
26/11/21
Binsec Seminar
Virtual
Slides
A Multilanguage Static Analysis of Python/C Programs with Mopsa
Mopsa is a static analyzer platform, independent of language and abstraction choices. Developers are free to add arbitrary abstractions …
19/11/21
Celtique Seminar
INRIA Rennes
Slides
A Multilanguage Static Analysis of Python Programs with Native C Extensions
Modern programs are increasingly multilanguage, to benefit from each programming language’s advantages and to reuse libraries. …
18/10/21
SAS 2021
Virtual (Covid-19)
A Multilanguage Static Analysis of Python Programs with Native C Extensions
05/07/21
Axe Sécurité, Sûreté, Fiabilité du LIP6
LIP6, Sorbonne Université & CNRS
Slides
Mlang: an Open-Source Toolchain for the Income Tax Computation
See the associated publication page.
07/04/21
JFLA 2021
Virtual (Covid-19)
Mopsa, a Multi-lingual Static Analysis Platform
12/03/21
Groupe de travail LVP du GdR GPL
Virtual (Covid-19)
Slides
A Modern Compiler for the French Tax Code
In France, income tax is computed from taxpayers' individual returns, using an algorithm that is authored, designed and maintained by …
03/03/21
CC 2021
Virtual (Covid-19)
2020
Static Type Analysis by Abstract Interpretation of Python Programs
Python is an increasingly popular dynamic programming language, particularly used in the scientific community and well-known for its …
15/11/20
ECOOP 2020
Virtual (Covid-19)
Value and Allocation Sensitivity in Static Python Analyses
See the associated publication page.
15/06/20
SOAP
Étude formelle de l’implémentation du code des impôts
Le code des impôts définit dans son texte législatif une fonction mathématique permettant de calculer l’impôt sur le revenu d’un foyer …
30/01/20
JFLA 2020
Gruissan
Slides
2019
Formal study of the French tax code's implementation
The tax code, as a legislative text, defines a mathematical function that computes the income tax of a fiscal household. In order to …
04/11/19
Séminaire Gallium
Inria Paris
Slides
Static Type Analysis of Python Programs: A Type Abstract Domain for Python
Python is an increasingly popular dynamic programming language, which is particularly used in the scientific community, and well-known …
07/10/19
Doctoral Symposium, Formal Methods 2019
Porto, Portugal
Extended Abstract
Slides
MOPSA project website
Semantics & Static Type Analysis of Python Programs
29/09/19
EDITE Day 2019
Sorbonne Université, Paris, France
Poster
Semantics & Static Type Analysis of Python Programs
Python is an increasingly popular programming language, used a lot in the scientific community, and well known for its powerful and …
02/07/19
Séminaires des doctorants, Société Informatique de France
Poster
Slides
MOPSA project website
2018
Static Analysis by Abstract Interpretation of Dynamic Programming Languages
Dynamic programming languages are increasingly popular, due to their powerful, high-level syntax, their flexibility and the presence of …
23/10/18
Masterclass with James Larus, CS Colloquium of Sorbonne Université
Slides
Cite
×