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

Relatore
Eric Goubault - Département d'Informatique de l'École normale supérieure

Data e ora
lunedì 19 febbraio 2007 alle ore 17.00 - Inizio alle 17:30, Caffè, te e biscotti alle 17.

Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Roberto Giacobazzi

Referente esterno

Data pubblicazione
14 febbraio 2007

Dipartimento
 

Riassunto

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.
ornamento
Inizio pagina