Formalization of a Generic Graph Library for Coq : Application to the Formal Verification of Dijkstra's Shortest Path Algorithm

Maximum Affinity Coloring : Complexity and Links with Multicut
avec Eric Soutif

Formal Verification of Coalescing Graph-Coloring Register Allocation
avec Sandrine Blazy et Andrew W. Appel
ESOP'10
22 au 26 Mars 2010, Paphos, Chypre

Complexité de la coloration avec préférences dans les graphes bipartis
Congrès ROADEF 2010
24 au 26 Février 2010, Toulouse

Live-Range Unsplitting for Faster Optimal Coalescing
avec Sandrine Blazy
LCTES'09
19 au 20 Juin 2009, Dublin, Irlande

Vérification formelle d'un algorithme d'allocation de registres par coloration de graphes
avec Sandrine Blazy et Eric Soutif
1ères Journées Nationales du GDR GPL (invited publication, same as JFLA08)
28 au 30 January 2009, Toulouse

Formal Verification of Coalescing Graph-Coloring Register Allocation
avec Sandrine Blazy et Andrew W. Appel

Vérification formelle d'un algorithme d'allocation de registres par coloration de graphes
avec Sandrine Blazy et Eric Soutif
Journées Francophones des Langages Applicatifs 2008
26 au 29 Janvier 2008, Etretat

Coloration avec préférences : complexité, inégalités valides et vérification formelle
avec Sandrine Blazy et Eric Soutif
Congrès ROADEF 2008
25 au 27 Février 2008, Clermont-Ferrand

Live-Range Unsplitting for Faster Optimal Coalescing
avec Sandrine Blazy

Coloration avec préférences dans les graphes triangulés
avec Sandrine Blazy et Eric Soutif
Journées Graphes et Algorithmes 2007
Institut Henri Poincarré
8 au 9 Novembre 2007, Paris