Previous | 
Home
Section: New Software and Platforms
OpenOrdo
OpenStream scheduler
Functional Description
Finding polynomial schedules for the streaming language OpenStream. Main use: detecting deadlocks.
Overall Objectives
Research Program
Application Domains
New Results
- Studying Optimal Spilling in the Light of SSA
- Symbolic Range of Pointers in C programs
- Analyzing C Programs with Arrays
- Termination of C Programs
- Data-aware Process Networks
- Mono-parametric Tiling
- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes
- Analysis of X10 Programs
- Revisiting Loop Transformations with X10 Clocks
- Static Analysis of OpenStream Programs
- Handling Polynomials for Program Analysis and Transformation
- Liveness Analysis in Explicitly-Parallel Programs
- Extended Lattice-Based Memory Allocation
- Stencil Accelerators
- PolyApps
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Results
- Studying Optimal Spilling in the Light of SSA
- Symbolic Range of Pointers in C programs
- Analyzing C Programs with Arrays
- Termination of C Programs
- Data-aware Process Networks
- Mono-parametric Tiling
- Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes
- Analysis of X10 Programs
- Revisiting Loop Transformations with X10 Clocks
- Static Analysis of OpenStream Programs
- Handling Polynomials for Program Analysis and Transformation
- Liveness Analysis in Explicitly-Parallel Programs
- Extended Lattice-Based Memory Allocation
- Stencil Accelerators
- PolyApps
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography