Aller au menu Aller au contenu
Le laboratoire
Le laboratoire
Le laboratoire

> Le laboratoire > Actualités

13/04 Séminaire : "Program Development Using Abstract Interpretation"

Publié le 22 avril 2022
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

Présentation par Laure GONNORD et Christophe DELEUZE

Séminaire GONNORD

Séminaire GONNORD

Mercredi 13 avril à 16h15, Laure GONNORD et Christophe DELEUZE ont présenté le séminaire qui avait pour thème "Program Development Using Abstract Interpretation".

Abstract:
Abstract Interpretation [Cousot/Cousot Principles of Programming Languages 1977] is a very useful framework to infer properties of programs, which has shown its effectivity in proving safety of critical code like airplane controllers. In this talk Christophe Deleuze. will make an Abstract Interpretation scratch course, and Laure Gonord will present some examples of concrete use in program development, from formal verification to code optimization.

Intervenants :
Laure Gonnord received her PhD degree in computer science from the University Joseph Fourier (Grenoble, France), in 2007 and her Habilitation in 2017 in Lyon, France. She currently holds a full permanent professor position at Grenoble INP, Esisar, Valence. Her main research interests lie in the design of static analyses, with emphasis on the automatic synthesis of numerical and memory invariants and application in language design, compilation, safety and security. She belongs to the CTSys team of the LCIS Laboratory (Esisar, Valence, France) and is external member of the CASH team of the LIP laboratory (ENS de Lyon, France).
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

mise à jour le 22 avril 2022

LCIS
50, rue Barthélémy de Laffemas
BP54 26902 VALENCE Cedex 09 France
Tél : +33 (0)4 75 75 94 49  
 

République Française        
Université Grenoble Alpes