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