Raphaël Monat

Raphaël Monat

PhD in Static Analysis

LIP6, Sorbonne Université

Welcome!

I am a PhD student, working on Static Analysis of Dynamic Programming Languages under the supervision of Antoine Miné, within the ERC MOPSA project.

I expect to graduate by the end of 2021.

Previous Research Experiences

  • Static Analysis by Abstract Interpretation Collecting Types of Python Programs.
    Under the supervision of Antoine Miné - March to August 2018.

    APR team, LIP6, Sorbonne Université, Paris, France.

  • Formal verification of Static Analyses of Floating-point Programs.
    Under the supervision of Eva Darulova - February to June 2017.

    Automated Verification and Approximation team, MPI-SWS, Saarbrücken, Germany.

  • Black-box Variational Inference in Probabilistic Programming.
    Under the supervision of Hongseok Yang - May to July 2016.

    Department of Computer Science, University of Oxford, UK.

  • Abstract Interpretation of Concurrent Programs.
    Under the supervision of Antoine Miné - June & July 2015.

    ANTIQUE Team, École Normale Supérieure, Paris, France.

Recent Publications

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné (2021). A Multilanguage Static Analysis of Python Programs with Native C Extensions. SAS.

PDF Approved Artifact Preprint (HAL) Slides Talk (video)

Denis Merigoux, Raphaël Monat, Jonathan Protzenko (2021). A Modern Compiler for the French Tax Code. CC.

PDF Slides Video DOI Approved Artifact Code (github) HAL

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné (2020). Static Type Analysis by Abstract Interpretation of Python Programs. ECOOP.

PDF DOI Approved Artifact Slides Talk (video) Talk (YouTube) Mopsa Project Mopsa's Gitlab

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné (2020). Value and Allocation Sensitivity in Static Python Analyses. SOAP.

PDF DOI Slides Talk (video) Demo (video) Talk (YouTube)

Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout (2019). Combinations of reusable abstract domains for a multilingual static analyzer. VSTTE.

PDF BIB Slides by Antoine Miné

See all publications

Recent Talks

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 Virtual (Covid-19)

A Multilanguage Static Analysis of Python Programs with Native C Extensions

05/07/21 LIP6, Sorbonne Université & CNRS
Slides

Mlang: an Open-Source Toolchain for the Income Tax Computation

See the associated publication page.
07/04/21 Virtual (Covid-19)

Mopsa, a Multi-lingual Static Analysis Platform

12/03/21 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 Virtual (Covid-19)
See all talks

Software

I strongly believe that academic prototypes accompanying research papers are important to show that a proposed technique works. I care about improving these prototypes to make them usable tools accessible to others, although it takes a lot of effort.

I am proud to be one of the core contributors of the following software:

Mlang

Mlang is a new compiler for M, the domain specific language used by the French Tax Administration to compute the income tax. This is joint work with Denis Merigoux.

Mopsa

Mopsa is a framework to write static analyses by abstract interpretation.

Community Service

External Review

  • LOPSTR 2019
  • SOAP 2021
  • ACM TECS
  • SAS 2021

Artifact Evaluation Program Committee

  • SAS 2020
  • POPL 2021
  • PLDI 2021
  • ECOOP 2021

Student Volunteering

  • POPL 2017

Teaching

2020-2021

  • LU3IN002: advanced object-oriented programming (Java)

2019-2020

  • LU1IN001: introduction to programming (using Python).
  • MU4IN500: advanced algorithmics.

2018-2019

Recent Posts

A Beamer snippet for remote presentations

Back in June 2020 when I was preparing my first virtual presentation, I tried leaving the top-right corner of my slides free to include a video of myself in the recordings.
13/10/20 1 min read

Internships

Master Internship #3: Static Analysis by Abstract Interpretation: Collecting Types of Python Programs

From March to August 2018, I worked under the supervision of Antoine Miné at the LIP6 laboratory, in Paris, France. I designed a static analysis by abstract interpretation that detects potential type errors in Python programs.
31/08/18

Master Internship #2: Formal Verification of a Static Analyzer

From February to June 2017, I worked under the supervision of Eva Darulova at the Max Planck Institute for Software Systems (MPI-SWS), in Saarbrücken, Germany. I worked on a static analyser of floating-point programs called Daisy.
26/08/17

Master Internship #1: Black-box Variational Inference in Probabilistic Programs

From May to July 2016, I worked with Hongseok Yang at the University of Oxford, United Kingdom, on “Variational Inference in Probabilistic Programs”. During this internship, we expressed probabilistic programming languages into probabilistic transition systems.
30/09/16

Bachelor Internship: BATMAN, a BAsic Thread-Modular ANalyzer

From June to July 2015, I worked under the supervision of Antoine Miné at the École Normale Supérieure, France, on static analysis by abstract interpretation of concurrent programs. I learned how to use the Abstract Interpretation framework to develop, implement and test new methods to analyze concurrent programs more precisely.
30/09/15