BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Ireland
Collaborated with:
S.Blazy A.W.Appel
Talks about:
coalesc (2) unsplit (1) regist (1) formal (1) faster (1) verif (1) optim (1) graph (1) color (1) alloc (1)

Person: Benoît Robillard

DBLP DBLP: Robillard:Beno=icirc=t

Contributed to:

ESOP 20102010
LCTES 20092009

Wrote 2 papers:

ESOP-2010-BlazyRA #graph #verification
Formal Verification of Coalescing Graph-Coloring Register Allocation (SB, BR, AWA), pp. 145–164.
LCTES-2009-BlazyR #performance
Live-range unsplitting for faster optimal coalescing (SB, BR), pp. 70–79.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.