|
 
|
Benoit Robillard
|
ATER Equipe SYS Parti depuis le 01/10/2011 Mail : benoit.robillard  ensiie.fr
|
Publications
2015
-
[DER15]
C. Dubois, S. Elloumi, B. Robillard, C. Vincent.
"Graphes et couplages en Coq",
Journées Francophones des langages applicatifs (JFLA),
January 2015,
pp.235-248,
Val d'Ajol,
France,
Conférence Nationale avec comité de lecture
2012
- [Rob12] B. Robillard. "Foundations of a Formally Verified Graph Library for Coq: the Example of Dijkstra’s Shortest Path Algorithm ", Date de dépot: 2012/02/10, (Tech. Rep.: CEDRIC-12-2432)
Rapport Scientifique
2011
-
[Rob11]
B. Robillard.
"Vérification formelle et optimisation de l’allocation de registres ",
Soutenue le: 30 October 2011,
pp. 180,
- [RS11] B. Robillard, E. Soutil. "On the Maximum Affinity Coloring : Complexity in Bipartite Conflict Graphs and Links with Multiway Cut", Date de dépot: 2011/12/01, (Tech. Rep.: CEDRIC-11-2431)
Mémoire de Thèse
Rapport Scientifique
2010
-
[BRA10]
S. Blazy, B. Robillard, A. Appel.
"Formal Verification of Coalescing Graph-Coloring Register Allocation",
ESOP'10, European Symposium On Programming, Paphos (Chypre),
January 2010,
pp.145-164,
Series LNCS,
-
[ROB10]
B. Robillard.
"Complexite de la coloration avec preferences dans les graphes bipartis",
Congrès ROADEF 2010,
January 2010,
- [R10] B. Robillard. "Vérification formelle et optimisation de l'allocation de registres", Soutenue le: 30 November 2010, pp. nn,
-
[RS10]
B. Robillard, E. Soutil.
"Vérification formelle et optimisation de l’allocation de registres ",
Soutenue le: 30 October 2010,
pp. 180,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
Mémoire de Thèse
2009
- [BR09] S. Blazy, B. Robillard. "Live-Range Unsplitting for Faster Optimal Coalescing", LCTES'09 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, January 2009, pp.70-79, Series ACM,
- [BRS09] S. Blazy, B. Robillard, E. Soutil. "Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe", January 2009,
-
[BRA09]
S. Blazy, B. Robillard, A. Appel.
"Formal Verification of Coalescing Graph-Coloring Register Allocation",
Date de dépot: 2009/01/01,
Nb pages 32 pages,
(Tech. Rep.: CEDRIC-09-1832)
Conférence Internationale avec comité de lecture
Conférences invitées
Rapport Scientifique
2008
- [BRS08a] S. Blazy, B. Robillard, E. Soutil. "Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe", JFLA'08 Journées Francophones des Langages Applicatifs, January 2008, pp.31-46,
- [BRS08] S. Blazy, B. Robillard, E. Soutil. "Coloration avec préférences : complexité, inégalités valides et vérification formelle", ROADEF'08, Clermont-Ferrand, 25-27 Février, January 2008, pp.123-138,
-
[BR08a]
S. Blazy, B. Robillard.
"Live-Range Unsplitting for Faster Optimal Coalescing (extended version)",
Date de dépot: 2008/01/01,
(Tech. Rep.: CEDRIC-08-1609)
Conférence Nationale avec comité de lecture
Rapport Scientifique
2007
- [BRS07] S. Blazy, B. Robillard, E. Soutil. "Coloration avec préférences dans les graphes triangulés", Journées Graphes et Algorithmes, Paris, January 2007, pp.32,
