Publications 2012

    Research reports

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

Publications 2011

    Research reports

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

Publications 2010

    International conferences

  • Formal Verification of Coalescing Graph-Coloring Register Allocation
    with Sandrine Blazy and Andrew W. Appel
    ESOP'10
    22 to 26 March 2009, Paphos, Cyprus

  • National conferences

  • Complexité de la coloration avec préférences dans les graphes bipartis
    Congrès ROADEF 2010
    24 to 26 February 2010, Toulouse

  • Thèse

  • Vérification formelle et optimisation de l'allocation de registres
    Conservatoire National des Arts et Métiers
    30 Novembre 2010

Publications 2009

    International conferences

  • Live-Range Unsplitting for Faster Optimal Coalescing
    with Sandrine Blazy
    LCTES'09
    19 to 20 June 2009, Dublin, Ireland

  • National conferences

  • 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

  • Research Reports

  • Formal Verification of Coalescing Graph-Coloring Register Allocation
    with Sandrine Blazy and Andrew W. Appel

Publications 2008

    National conferences

  • Vérification formelle d'un algorithme d'allocation de registres par coloration de graphes
    with Sandrine Blazy and Eric Soutif
    Journées Francophones des Langages Applicatifs 2008
    26 to 29 January 2008, Etretat

  • Coloration avec préférences : complexité, inégalités valides et vérification formelle
    with Sandrine Blazy and Eric Soutif
    Congrès ROADEF 2008
    25 to 27 February 2008, Clermont-Ferrand

  • Research Reports

  • Live-Range Unsplitting for Faster Optimal Coalescing
    with Sandrine Blazy

Publications 2007