Research Program
Application Domains
New Software and Platforms
New Results
- Formal Proofs for an Ordering Relation in Explicitly Parallel Programs
- Validity Conditions for Transformations of Non-Affine Programs
- Automatic Parallelization of Nonlinear Loops
- Dynamic Code Generation for Speculative Polyhedral Optimization
- The XFOR Programming Structure
- Dynamic Optimization of Binary Code
- Combining Locking and Data Management Interfaces
- Efficient Execution of Polyhedral Codes on GPU and CPU+GPU Systems
- Interactive Code Restructuring
- Automatic Generation of Adaptive Simulation Codes
- Polyhedral Compiler White-Boxing
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Research Program
Application Domains
New Software and Platforms
New Results
- Formal Proofs for an Ordering Relation in Explicitly Parallel Programs
- Validity Conditions for Transformations of Non-Affine Programs
- Automatic Parallelization of Nonlinear Loops
- Dynamic Code Generation for Speculative Polyhedral Optimization
- The XFOR Programming Structure
- Dynamic Optimization of Binary Code
- Combining Locking and Data Management Interfaces
- Efficient Execution of Polyhedral Codes on GPU and CPU+GPU Systems
- Interactive Code Restructuring
- Automatic Generation of Adaptive Simulation Codes
- Polyhedral Compiler White-Boxing
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography