Section: Overall Objectives
Quick view of Compsys II Achievements
So far, 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, 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.
For more details on the past years of Compsys II, see the previous annual reports from 2008 to 2011.