Static analysis of Concurrent Programs: A geometric approach, and perspectives

Speaker:  Eric Goubault - Département d'Informatique de l'École normale supérieure
  Monday, February 19, 2007 at 5:00 PM Inizio alle 17:30, Caffè, te e biscotti alle 17.
Using a "geometric" semantics and tools from algebraic topology, or more precisely "directed" algebraic topology, I will show how we can efficiently retract the semantics of concurrent  
programs so that to get tractable static analyses. This is the basis of the static analyzer ALCOOL which will be briefly demonstrated.

Ca' Vignal - Piramide, Floor 0, Hall Verde

Programme Director
Roberto Giacobazzi

External reference
Publication date
February 14, 2007