Section: Overall Objectives

Summary of Compsys II Achievements

Due to Compsys size reduction (from 5 permanent researchers to 3 in 2008, then 4 again in 2009), the team then focused, in Compsys II, on two research directions only:

• Code generation for embedded processors, on the two opposite, though connected, aspects: aggressive compilation and just-in-time compilation.

• High-level program analysis and transformations for high-level synthesis tools.

The main achievements of Compsys II were:

• the great success of the collaboration with STMicroelectronics with many deep results on SSA (Static Single Assignment), register allocation, liveness scalar analysis, and intermediate program representations;

• the design of high-level program analysis, optimizations, and tools, mainly related to high-level synthesis (some leading to the development of the Zettice start-up), including liveness array analysis, memory folding, as well as program (while loops) termination.

For more details on the past years of Compsys II, see the previous annual reports from 2008 to 2012. Compsys II was positively evaluated in Spring 2012 by Inria. The evaluation committee members were Walid Najjar (University of California Riverside), Paolo Faraboschi (HP Labs), Scott Mahlke (University of Michigan), Pedro Diniz (University of Southern California), Peter Marwedel (TU Dortmund), and Pierre Paulin (STMicroelectronics, Canada), the last three assigned specifically to Compsys.