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.

Program

Opening and Keynote (10:00 - 11:10)


• Welcome
  Tobias Grosser (ETH Zurich) and Mary Hall (University of Utah)
  
  
  
• KeyNote: Delivering and generalising domain-specific program optimisations
  Paul Kelly
  (Imperial College London)
  [abstract], [bio], [slides]



Break (11:10 - 11:30)



Session I: Polyhedral Modeling and Code Generation (11:30 - 13:00)

Session Chair: Martin Kong (Rice University)



• Semi-Automatic Generation of Adaptive Codes
  Maxime Schmitt, César Sabater, Cédric Bastoul
  (University of Strasbourg, Universidad Nacional de Rosario, University of Strasbourg)
  [paper], [slides]
  


• Splitting Polyhedra to Generate More Efficient Code
  Harenome Razanajato, Vincent Loechner, and Cédric Bastoul
  (INRIA Nancy Grand-Est and University of Strasbourg)
  [paper], [slides]
  


• 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)
  [paper], [slides]
  



Lunch (13:00 - 14:00)



Session II: Compilation Systems and Architecture (14:00 - 15:30)

Session Chair: Michael Kruse (Polly Labs / INRIA)



• 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)
  [paper], [slides]
  


• Data Reuse Analysis for Automated Synthesis of Custom Instructions in Sliding Window Applications
  Georgios Zacharopoulos, Giovanni Ansaloni and Laura Pozzi
  (Università della Svizzera italiana)
  [paper], [slides]
  


• 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)
  [paper], [slides]
  



Break (15:30 - 16:00)



Session III: Short-papers and Panel Discussion (16:00 - 17:30)


• Short-Talk: Bounded Task Schedules for Task-based Run-times
  Yuhan Peng, Martin Kong and Vivek Sarkar
  (Rice University)
  [abstract]
  


• 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]
  [Slides - Jeremiah Wilke]
  
  


Concluding Remarks and Discussions (17:30 - )

Important Dates

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
• autotuning
• application case studies
• tool demonstration

Submissions

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.

Contact us

Please send any questions or comments to Mary Hall and Tobias Grosser:

impact-chairs@lists.gforge.inria.fr.