Call For Papers

Polyhedral compilation techniques have been at the forefront of research and innovation, playing a central role in a wide range of domain-specific languages and optimizing compilers. Thanks to a unified formalism for parallelization and memory optimization, they provide high impact in competitive areas such as machine learning, scientific computing, and media processing. Like a well-aged bottle of wine, these techniques have evolved and branched into new domains over time, with successful applications spanning across various products.

IMPACT is a unique event focusing on polyhedral compilation. The workshop brings together researchers and practitioners for a high-quality one-day event including a keynote, paper presentations, and work-in-progress discussions. The workshop has a well established tradition of high quality, extensive peer reviews, with a PC balancing core polyhedral expertise with applications and broader computing systems research.

We welcome both theoretical and experimental papers and presentations on all aspects of polyhedral compilation. We also welcome submissions describing preliminary results, crazy new ideas, position papers, experience reports, education material, and available tools, with an aim to stimulate discussions, collaborations, and advances in the field.

The following illustrates potential IMPACT papers:

- Thorough theoretical discussion of a preliminary idea with an attempt to place it in context but no experimental results.
- Experimental results comparing two or more existing ideas, followed by a detailed analysis.
- Presentation of an existing idea in a different way, including illustrations of how the idea applies to new use cases, code, architectures, etc. Attribution should as clear as possible.


Topics of interest include, but are not limited to:

- program optimization (automatic parallelization, tiling, etc.);
- code generation;
- data/communication management on GPUs, accelerators and distributed systems;
- hardware/high-level synthesis for affine programs;
- static analysis;
- program verification;
- model checking;
- theoretical foundations of the polyhedral model;
- extensions of the polyhedral model;
- scalability and robustness of polyhedral compilation techniques.