Live-range unsplitting for faster optimal coalescing. - Sandrine Blazy; Benoît Robillard (LCTES, 2009)

Formal Verification of Coalescing Graph-Coloring Register Allocation. - Sandrine Blazy; Benoît Robillard; Andrew W. Appel (ESOP, 2010)

Verification formelle et optimisation de l'allocation de registres. - Benoît Robillard (2010)