7th International Workshop on Polyhedral Compilation Techniques
January 23, 2017 | Stockholm, Sweden
In conjunction with HiPEAC 2017, January 23-25, 2017
Polyhedral techniques have gained attention due to the rise of multi-core processors and other architectures that require parallelism and more complex schedules for data locality. At the heart of the polyhedral model is an abstraction of programs that enables powerful analysis and scheduling of applications. Recent developments in the polyhedral model research area includes automatic parallelization targeting various platforms, program verification, and hardware synthesis. IMPACT is a unique workshop aimed to bring together researchers and practitioners interested in polyhedral techniques to exchange ideas.
Tobias Grosser (ETH Zurich) and Mary Hall (University of Utah)
KeyNote: Delivering and generalising domain-specific program optimisations
(Imperial College London)
[abstract], [bio], [slides]
Semi-Automatic Generation of Adaptive Codes
Maxime Schmitt, César Sabater, Cédric Bastoul
(University of Strasbourg, Universidad Nacional de Rosario, University of Strasbourg)
Splitting Polyhedra to Generate More Efficient Code
Harenome Razanajato, Vincent Loechner, and Cédric Bastoul
(INRIA Nancy Grand-Est and University of Strasbourg)
A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds
Jie Zhao, Albert Cohen
(INRIA and École Normale Supérieure)
APOLLO: Automatic speculative POLyhedral Loop Optimizer
Juan Manuel Martinez Caamano, Aravind Sukumaran-Rajam, Artiom Baloian, Manuel Selva and Philippe Clauss
(INRIA, University of Strassbourg, Ohio State University, ICPS/LSIIT)
Data Reuse Analysis for Automated Synthesis of Custom Instructions in Sliding Window Applications
Georgios Zacharopoulos, Giovanni Ansaloni and Laura Pozzi
(Università della Svizzera italiana)
More Data Locality for Static Control Programs on NUMA Architectures
Adilla Susungi, Albert Cohen and Claude Tadonki
(MINES ParisTech, PSL Research University, INRIA, École Normale Supérieure)
Short-Talk: Bounded Task Schedules for Task-based Run-times
Yuhan Peng, Martin Kong and Vivek Sarkar
Panel: Challenges for the Polyhedral Community?
Aaron Smith (Microsoft Research)
Ahmed Hemani (KTH - Royal Institute of Technology)
Jeremiah J Wilke (Sandia National Labs)
Palkovic Martin (IT4Innovations - Technical University of Ostrava)
[abstract], [Slides - Aaron Smith], [Slides - Ahmed Hemani]
Break (11:10 - 11:30)
Session Chair: Martin Kong (Rice University)
Lunch (13:00 - 14:00)
Session Chair: Michael Kruse (Polly Labs / INRIA)
Break (15:30 - 16:00)
|Abstract deadline:||October 21, 2016 (AoE)|
|Paper deadline:||October 28, 2016 (AoE)|
|Notification of decision:||December 02, 2016|
|Final version due:||December 16, 2016|
|Workshop:||January 23, 2017|
Call For Paper Information
We welcome both theoretical and experimental papers on all aspects of polyhedral compilation and optimization. We also welcome submissions describing preliminary results, crazy new ideas, position papers, experience reports, and available tools, with an aim to stimulate discussions, collaborations, and advances in the field. The following illustrate potential IMPACT papers:
- 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.
- Presentation of an existing idea in a different way including illustrations of how the idea applies in current codes. Attribution should be done as well 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
- static analysis
- program verification
- model checking
- theoretical foundations of the polyhedral model
- extensions of the polyhedral model
- scalability and robustness of polyhedral compilation techniques
- application case studies
- tool demonstration
Submissions should not exceed 8 pages (recommended 6 pages), excluding references, formatted as per ACM proceedings format. When preparing your manuscript, please use the "Tighter Alternate style" available from ACM and a font size of 9pt or higher.
Submissions should be in PDF format and printable on US letter or A4 sized paper. Submission deadline has passed.
Proceedings will be posted online. If the final version of an accepted paper does not sufficiently address the comments of the reviewers, then it may be accompanied by a note from the program committee. Publication at IMPACT will not prevent later publication in conferences or journals of the presented work. However, simultaneous submission to IMPACT and other workshop, conference, or journal is often prohibited by the policy of other venues. For instance, a paper with significant overlap with IMPACT submission cannot be sent to PLDI 2017 or any other overlapping SIGPLAN event.
We will also continue the poster teasers we started two years ago. Authors of the rejected papers that still plan to attend HiPEAC will have an opportunity to present their submission in the HiPEAC poster session. We encourage poster presentations by providing a short (3 min.) slot in the workshop to advertise the posters. If possible, posters related to IMPACT will be gathered at the poster session close to each other.