Section: Contracts and Grants with Industry

Minalogic SCEPTRE project with STMicroelectronics on SSA, register allocation, and aggressive compilation

Participants : Benoit Boissinot, Florent Bouchez, Quentin Colombet, Alain Darte, Fabrice Rastello.

This contract started in October 2006 as part of the “pôle de compétitivité” Minalogic . The collaboration deals with the possible applications of the SSA form for program optimizations. It concerns predication, register allocation, and instruction selection. Related results are described in Sections  6.2 and  6.4 , as well as in previous annual reports.