Développement de programmes à l'aide de l'interprétation abstraite

Présentation par Laure GONNORD et Christophe DELEUZE

Le mercredi 13 avril à 16 h 15, Laure GONNORD et Christophe DELEUZE ont animé le séminaire intitulé « Program Development Using Abstract Interpretation ».

Résumé : L'interprétation abstraite de type «
» [Cousot/Cousot, *Principles of Programming Languages*, 1977] constitue un cadre très utile pour déduire les propriétés des programmes ; elle a démontré son efficacité pour prouver la sécurité de codes critiques, tels que ceux des systèmes de contrôle de vol. Au cours de cette conférence, Christophe Deleuze proposera une initiation à l'interprétation abstraite, tandis que Laure Gonord présentera quelques exemples d'applications concrètes dans le développement de programmes, allant de la vérification formelle à l'optimisation du code.

Intervenants :
Laure Gonnorda obtenu son doctorat en informatique à l’Université Joseph Fourier (Grenoble, France) en 2007, puis son habilitation à diriger des recherches en 2017 à Lyon, en France. Elle occupe actuellement un poste de professeur titulaire à l’INP de Grenoble, Esisar, à Valence. Ses principaux axes de recherche portent sur la conception d’analyses statiques, avec un accent particulier sur la synthèse automatique d’invariants numériques et de mémoire, ainsi que sur leurs applications à la conception de langages, à la compilation, à la sûreté et à la sécurité. Elle fait partie de l’équipe CTSys du laboratoire LCIS (Esisar, Valence, France) et est membre externe de l’équipe CASH du laboratoire LIP (ENS de Lyon, France).