Section: Contracts and Grants with Industry
Minalogic SCEPTRE project with stm icroelectronics on SSA, Register Allocation, and JIT Compilation
This contract started in October 2006 is part of the ``pôle de compétitivité'' Minalogic . The collaboration deals with the possible applications of the SSA form for program optimizations, including JIT and dynamic compilation for media processors. It concerns predication, register allocation, and instruction selection. Related work on register allocation and JIT constraints are described in Section 6.2 and 6.3 .