Raphaël Monat

Raphaël Monat

PhD in Static Analysis

LIP6, Sorbonne Université

Welcome!

I am research and teaching assistant, working on Static Analysis of Dynamic Programming Languages with Antoine Miné, within the ERC MOPSA project. My CV is available in French and in English.

News

Education

  • PhD in Computer Science, 2021 - 2019

    Sorbonne Université, France

  • Parisian Master of Research in Computer Science, 2017 - 2018

    Université Paris Diderot, France

  • Master in Fundamental Computer Science, 2015 - 2017

    École Normale Supérieure de Lyon, France

  • BSc in Fundamental Computer Science, 2014 - 2015

    École Normale Supérieure de Lyon, France

  • Classes préparatoires MPSI/MP*, option info, 2012 - 2014

    Lycée Louis-le-Grand, Paris, France

Recent 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

Program Committee

  • SAS 2022

External Review Committee

  • SPLASH 2022 (round 2)

External Review

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

Artifact Evaluation Program Committee

  • SAS 2020
  • POPL 2021
  • PLDI 2021
  • ECOOP 2021
  • CAV 2022
  • PLDI 2022
  • SPLASH 2022 (round 2)

Student Volunteering

  • POPL 2017

Enseignement (en français)

2021-2022

  • LU1IN002 : éléments de programmation (C).
  • LU2IN005 : mathématiques discrètes.
  • LU2IN019 : programmation fonctionnelle (OCaml).
  • LU2IN024 : logique.
  • MU4IN500 : algorithmique avancée.
  • MU5IN554 : spécification et validation de programmes.
  • MU5IN555 : typage et analyse statique.
  • MPRI 2.6 : abstract interpretation, slides

2020-2021

  • LU3IN002 : programmation orientée objet avancée (Java).

2019-2020

  • LU1IN001 : éléments de programmation (Python).
  • MU4IN500 : algorithmique avancée.

2018-2019