Séminaire du LIF
Date à préciser - CMI, salle à déterminer
Eric Goubault
CEA, Saclay
Application of Geometric Semantics to Static Analysis of Concurrent Programs
Dans cet exposé, je vais détailler une nouvelle méthode, d'inspiration géométrique, permettant de compresser efficacement l'espace d'état d'un système parallèle. Je me limiterai essentiellement à un système parallèle fonctionnant par mémoire partagée, mais discuterai aussi d'autres paradigmes, plus brièvement. Pour ce faire, j'introduirai les outils géométriques (homotopie dirigée...) et catégoriques (catégorie de composantes...) nécessaires. Cette technique a été implémentée dans un petit analyseur statique par interprétation abstraite (ALCOOL) que je décrirai succinctement.
Travail réalisé en commun avec Emmanuel Haucourt.
Email : eric.goubault@cea.fr