Publications 2012
-
Formalization of a Generic Graph Library for Coq : Application to the Formal Verification of Dijkstra's Shortest Path Algorithm
Research reports
Publications 2011
-
Maximum Affinity Coloring : Complexity and Links with Multicut
with Eric Soutif
Research reports
Publications 2010
-
Formal Verification of Coalescing Graph-Coloring Register Allocation
with Sandrine Blazy and Andrew W. Appel
ESOP'10
22 to 26 March 2009, Paphos, Cyprus
-
Complexité de la coloration avec préférences dans les graphes bipartis
Congrès ROADEF 2010
24 to 26 February 2010, Toulouse -
Vérification formelle et optimisation de l'allocation de registres
Conservatoire National des Arts et Métiers
30 Novembre 2010
International conferences
National conferences
Thèse
Publications 2009
-
Live-Range Unsplitting for Faster Optimal Coalescing
with Sandrine Blazy
LCTES'09
19 to 20 June 2009, Dublin, Ireland
-
Vérification formelle d'un algorithme d'allocation de registres par coloration de graphes
with Sandrine Blazy and Eric Soutif
1ères Journées Nationales du GDR GPL (invited publication, same as JFLA08)
28 to 30 January 2009, Toulouse -
Formal Verification of Coalescing Graph-Coloring Register Allocation
with Sandrine Blazy and Andrew W. Appel