Project
Team
Compsys
Scientific Foundations
Application Domains
Software
New Results
- Introduction
- Studying Optimal Spilling in the Light of SSA
- Copy Elimination on Data Dependence Graphs
- Graph-Coloring and Treescan Register Allocation Using Repairing
- Decoupled Graph-Coloring Register Allocation with Hierarchical Aliasing
- A Non-Iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs
- SSI Revisited: A Program Representation for Sparse Dataflow Analyses
- Incremental Spilling
- Program Analysis and Communication Optimizations for HLS
- Compilation of Hardware Accelerators with Pipelined Arithmetic
- FPGA Optimized Table Maker's Dilemma Architecture
- Termination of Big Programs
- Simplification of Boolean Affine Formulas
- Retiming for Faust
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project
Team
Compsys
Scientific Foundations
Application Domains
Software
New Results
- Introduction
- Studying Optimal Spilling in the Light of SSA
- Copy Elimination on Data Dependence Graphs
- Graph-Coloring and Treescan Register Allocation Using Repairing
- Decoupled Graph-Coloring Register Allocation with Hierarchical Aliasing
- A Non-Iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs
- SSI Revisited: A Program Representation for Sparse Dataflow Analyses
- Incremental Spilling
- Program Analysis and Communication Optimizations for HLS
- Compilation of Hardware Accelerators with Pipelined Arithmetic
- FPGA Optimized Table Maker's Dilemma Architecture
- Termination of Big Programs
- Simplification of Boolean Affine Formulas
- Retiming for Faust
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Previous | 
Home