Call For Papers
The polyhedral model is increasingly recognized as a fundamental framework to design efficient, fine-grain, source-level compiler analysis and optimizations. The workshop on polyhedral compilation techniques provides a high-quality forum for researchers and practitioners working on program analysis, transformations and optimizations in the polyhedral model. Both theoretical and experimental papers are welcome, on topics ranging from historical HPC computing and signal processing to hardware synthesis and new application domains. We strongly encourage submissions describing preliminary ideas and results, experience reports, and tools effectively available, with the aim to stimulate discussions and prospective collaborations. Position papers are very welcome.
IMPACT aims to be a key event for the polyhedral compilation community to exchange or to debate ideas and visions. The Program Committee will value the meeting itself as much as the quality of the papers. To ensure the workshop is not closed to any interesting emerging ideas, neither original material nor impressive speedups are required for submission.
Topics of Interest
Topics of interest include, but are not limited to:
- Polyhedral Compilation Flow
- Automatic Parallelization and Optimization
- Hardware Synthesis
- Static Analysis
- Program Verification
- Model Checking
- Robustness and Scalablility of Polyhedral Techniques
- Theoretical Foundations of the Polyhedral Model
- Extensions of the Polyhedral Model
- Tool Demonstration