Presentations
Slides in english
Transparents en francais
Un tour dans les etoiles : un etat de l'art
selectif en logique de separation (ANR Panda, dec. 2009)
Programmes concurrents non-bloquants : exemples, propriétés fonctionnelles, propriétés de progrès. (Choco, fev. 2009)
L'accessible étoile : une
introduction à la verification de
programmes à pointeurs en logique de separation. (Barbizon-Trouville, 2008)
Journée nouveaux entrants de Cachan : bonjour Cachan!
(Cachan, 2005)