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: Robillard:Beno=icirc=t
Contributed to:
2010
2009Wrote 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.