MONAT Raphaël

Docteur (ATER, )
Équipe : APR
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 303
    4 place Jussieu
    75252 PARIS CEDEX 05

Tel: 01 44 27 88 16, Raphael.Monat (at) nulllip6.fr
https://rmonat.fr
https://rmonat.fr

Direction de recherche : Antoine MINÉ

Analyse statique de type et de valeur, par interprétation abstraite, de programmes Python avec des librairies C

Dans cette thèse, nous avons pour objectif de concevoir, à la fois théoriquement et expérimentalement, des méthodes pour la détection automatique de bogues potentiels dans les logiciels – ou la preuve de leur absence. Ces méthodes sont statiques : elles analysent le code source des programmes sans les exécuter. Nos travaux s’inscrivent dans le cadre de l’interprétation abstraite pour dériver une sémantique sûre et décidable. Le principal objet de ce travail est l’analyse des langages de programmation dynamiques. En particulier, ce travail se concentre sur les programmes écrits en Python, qui peuvent appeler des bibliothèques écrites en C.

Soutenance : 22/11/2021 - 14h30 - Campus Jussieu, salle 25-26/105

Membres du jury :

MASTROENI Isabella (Università di Verona) [Rapporteur]
MØLLER Anders (Aarhus Universitet) [Rapporteur]
CHAILLOUX Emmanuel (Sorbonne Université)
MINÉ Antoine (Sorbonne Université)
LOGOZZO Francesco (Facebook Seattle)
MÜLLER Peter (ETH Zürich)
SCHMITT Alan (INRIA Rennes)

Publications 2017-2021