MONAT Raphaël

PhD student
Team : APR
Arrival date : 09/01/2018
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 303
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE

Tel: +33 1 44 27 88 16, Raphael.Monat (at) nulllip6.fr
https://rmonat.fr
https://rmonat.fr
Static Analysis by Abstract Interpretation of Dynamic Programming Languages

Le but de la thèse est de développer de nouvelles analyses par interprétation abstraite pour les langages dynamiques.
L'interprétation abstraite est une théorie de l'approximation des sémantiques de programmes. Elle connaît une popularité croissante grâce à ses applications récentes à la conception d'outils effectifs de vérification utilisés dans l'industrie. Néanmoins, ces applications restent limitées à l'analyse de langages statiques, tels que C et Java. Les langages dynamiques, tels que JavaScript ou Python, ont une sémantique plus complexe et offrent peu d'information sur les exécutions possibles d'un programme à la compilation. Les points difficiles incluent: l'absence d'information de type statique, la possibilité d'ajouter des attributs dynamiquement aux objets, des constructions de contrôle complexes (comme les générateurs de Python ou bien les clôtures).
Le candidat explorera en particulier les directions de recherche suivantes: les analyse inter-procédurales modulaires afin de passer à l'échelle, l'inférence des appels aux bibliothèques C, la génération automatique des stubs, et l'analyse multi-langages pour les programmes mélangeant C et Python.

2017-2021 Publications