Section: New Results
Introduction
This section presents the results obtained by Compsys in 2009. For clarity, some earlier work is also recalled, when results were continued or extended in 2009.
Team
Compsys
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
- Introduction
- Revisiting out-of-SSA translation for correctness, efficiency, and speed
- Split register allocation: linear complexity without performance penalty
- Register-allocated SSA destruction: handling of critical edges
- “Optimal” formulation of register spilling
- Fast computation of liveness sets
- Static single information form: debunking
- Loop transformations for high-level synthesis and communication optimizations
- Program termination and worst-case computational complexity
Contracts and Grants with Industry
- Minalogic SCEPTRE project with STMicroelectronics on SSA, register allocation, and aggressive compilation
- Nano2012 MEDIACOM project with STMicroelectronics on SSA, register allocation, and JIT compilation
- Nano2012 S2S4HLS project with STMicroelectronics on source-to-source transformations for high-level synthesis
Other Grants and Activities
Dissemination
Bibliography