Benoît Robillard

According to our database, Benoît Robillard authored at least 3 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Verification formelle et optimisation de l'allocation de registres.

Benoît Robillard

PhD thesis, 2010

Formal Verification of Coalescing Graph-Coloring Register Allocation.

Sandrine Blazy, Benoît Robillard, Andrew W. Appel

Proceedings of the Programming Languages and Systems, 2010

2009

Live-range unsplitting for faster optimal coalescing.

Sandrine Blazy, Benoît Robillard

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009