Publications 2012
-
Formalization of a Generic Graph Library for Coq : Application to the Formal Verification of Dijkstra's Shortest Path Algorithm
Rapports de recherche
Publications 2011
-
Maximum Affinity Coloring : Complexity and Links with Multicut
avec Eric Soutif
Rapports de recherche
Publications 2010
-
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
Conférences internationales
Conférences nationales
Publications 2009
-
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