6th International Workshop on Polyhedral Compilation Techniques
January, 2016 | Prague, Czech Republic
In conjunction with HiPEAC 2016, January 18-20, 2016
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 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.
|Submission deadline:||November 6, 2015 (AoE, Final Extension)|
|Notification of decision:|
|Final version due:|
|Workshop:||January 19, 2016|
KeyNote: Symbolic Loop Parallelization for Adaptive Multi-Core Systems - Recent Advances and Benefits
(Friedrich-Alexander University Erlangen-Nürnberg)
Static Analysis of OpenStream Programs
Albert Cohen, Alain Darte, and Paul Feautrier
(Inria / ENS Paris / ENS Lyon / LIP)
Liveness Analysis in Explicitly-Parallel Programs
Alain Darte, Alexandre Isoard, and Tomofumi Yuki
(Inria / LIP / ENS Lyon)
Static Data Race Detection for SPMD Programs Using an Extended Polyhedral Representation
Prasanth Chatarasi, Jun Shirako, and Vivek Sarkar
Sven Verdoolaege and Albert Cohen
(Polly Labs / KU Leuven / Inria / ENS Paris)
SCoP Detection: A Fast Algorithm for Industrial Compilers
Aditya Kumar and Sebastian Pop
(Samsung Austin R&D Center)
Combining Polyhedral and AST Transformations in CHiLL
Huihui Zhang, Anand Venkat, Protonu Basu, and Mary Hall
(University of Utah)
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)
Panel: (When) are the polyhedral techniques necessary?
Mary Hall (University of Utah)
Louis-Noël Pouchet (Ohio State University)
Sanjay Rajopadhye (Colorado State University)
Break (11:10 - 11:30)
Session Chair: Mary Hall
Lunch (13:00 - 14:00)
Session Chair: Tobias Grosser
Break (15:30 - 16:00)
Session Chair: Alessandro Cilardo
The workshop is organized in conjunction with HiPEAC 2016 and will take place in room Leo of the Clarion Congress Hotel Prague.
Please send any questions or comments to Michelle Mills Strout and Tomofumi Yuki: