! Next year → IMPACT 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. This year's IMPACT will be held in conjunction with HiPEAC 2016 as a one-day workshop including technical paper presentations, panel discussions, and possibly a keynote.

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
• 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.

Submissions should be in PDF format and printable on US letter or A4 sized paper. Please submit through EasyChair at: https://easychair.org/conferences/?conf=impact2016

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 2016 or any other overlapping SIGPLAN event.

We will also continue the poster teasers we started last year. 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 in a same vicinity at the poster session.

Please make sure that at least one of the authors can attend the workshop if your work is accepted. Note that HiPEAC overlaps with POPL this year.

Important Dates

Program

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


• Welcome
  Tomofumi Yuki
  (Inria)
  
  
• KeyNote: Symbolic Loop Parallelization for Adaptive Multi-Core Systems - Recent Advances and Benefits
  Jürgen Teich
  (Friedrich-Alexander University Erlangen-Nürnberg)
  [abstract]
  
  



Break (11:10 - 11:30)



Session I: Analysis of Parallel Programs (11:30 - 13:00)

Session Chair: Mary Hall



• Static Analysis of OpenStream Programs
  Albert Cohen, Alain Darte, and Paul Feautrier
  (Inria / ENS Paris / ENS Lyon / LIP)
  [paper] [slides]
  


• Liveness Analysis in Explicitly-Parallel Programs
  Alain Darte, Alexandre Isoard, and Tomofumi Yuki
  (Inria / LIP / ENS Lyon)
  [paper] [slides]
  


• Static Data Race Detection for SPMD Programs Using an Extended Polyhedral Representation
  Prasanth Chatarasi, Jun Shirako, and Vivek Sarkar
  (Rice University)
  [paper] [slides]
  



Lunch (13:00 - 14:00)



Session II: Leveraging the Polyhedral Model in the Compiler (14:00 - 15:30)

Session Chair: Tobias Grosser



• Live-Range Reordering
  Sven Verdoolaege and Albert Cohen
  (Polly Labs / KU Leuven / Inria / ENS Paris)
  [paper] [slides]
  


• SCoP Detection: A Fast Algorithm for Industrial Compilers
  Aditya Kumar and Sebastian Pop
  (Samsung Austin R&D Center)
  [paper] [slides]
  


• Combining Polyhedral and AST Transformations in CHiLL
  Huihui Zhang, Anand Venkat, Protonu Basu, and Mary Hall
  (University of Utah)
  [paper] [slides]
  



Break (15:30 - 16:00)



Session III: High-Level Synthesis and Panel Discussion (16:00 - 17:30)

Session Chair: Alessandro Cilardo



• Towards Scalable and Efficient FPGA Stencil Accelerators
  Gaël Deest, Nicolas Estibals, Tomofumi Yuki, Steven Derrien, and Sanjay Rajopadhye
  (IRISA / Université de Rennes 1 / Inria / LIP / ENS Lyon / Colorado State University)
  [paper] [slides]
  


• Panel: (When) are the polyhedral techniques necessary?
  Mary Hall (University of Utah)
  Louis-Noël Pouchet (Ohio State University)
  Sanjay Rajopadhye (Colorado State University)
  [questions]
  
  



Concluding Remarks and Discussions (17:30 - )

Location

The workshop is organized in conjunction with HiPEAC 2016 and will take place in room Leo of the Clarion Congress Hotel Prague.

Contact us

Please send any questions or comments to Michelle Mills Strout and Tomofumi Yuki:

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