posted by user: PARsE || 898 views || tracked by 5 users: [display]

IMPACT 2016 : 6th International Workshop on Polyhedral Compilation Techniques


When Jan 18, 2016 - Jan 20, 2016
Where Prague, Czech Republic
Submission Deadline Oct 25, 2015
Notification Due Nov 27, 2015
Final Version Due Dec 11, 2015
Categories    polyhedral model   loop optimization   loop parallelization   model checking

Call For Papers

Workshop held in conjunction with HiPEAC 2016
(Jan 18-20, 2016) Prague, Czech Republic.


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 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. Please use the following template when preparing your manuscript:

Submissions should be in PDF format and printable on US Letter or A4 sized paper. Please submit through EasyChair at:

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.


Organizers and Program Chairs:
Michelle Mills Strout (University of Arizona, USA)
Tomofumi Yuki (Inria, France)

Program Committee:
Christophe Alias (INRIA, France)
Cédric Bastoul (University of Strasbourg, France)
Samuel Bayliss (Xilinx Research Labs, Ireland)
Uday Bondhugula (IISc Bangalore, India)
Daniel Chavarria-Miranda (Pacific NW National Lab, USA)
Alessandro Cilardo (University of Naples Federico II, Italy)
Béatrice Creusillet (Silkan, France)
Steven Derrien (University of Rennes 1, France)
Paul Feautrier (ENS Lyon, France)
Tobias Grosser (ETH Zürich, Switzerland)
Mary Hall (University of Utah, USA)
François Irigoin (MINES ParisTech, France)
Alexandra Jimborean (Uppsala University, Sweden)
Benoît Meister (Reservoir Labs, USA)
Antoine Miné (ENS Paris, France)
Louis-Noël Pouchet (Ohio State University, USA)
Sanjay Rajopadhye (Colorado State University, USA)
Jun Shirako (Rice University, USA)
Ramakrishna Upadrasta (IIT Hyderabad, India)
Jingling Xue (University of New South Wales, Australia)

Related Resources

IMPACT 2017   7th International Workshop on Polyhedral Compilation Techniques
CAV 2017   29th International Conference on Computer-Aided Verification
PACT 2016   25th International Conference on Parallel Architectures and Compilation Techniques
Petri Nets 2017   CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
SIGGRAPH 2017   International Conference on Computer Graphics and Interactive Techniques
Visible Learning World Conference 2016   Improving Schools through Visible Learning: Research, Practice Impact
HP3C 2017   International Conference on High Performance Compilation, Computing and Communications (HP3C-2017) - IEEE Xplore, EI and ISI
IEEE-HP3C 2017   IEEE-International Conference on High Performance Compilation, Computing and Communications (HP3C-2017)
SAC PL 2017   ACM SAC'17 PL Track
SI: P2PPMC 2016   Special Issue on Emerging Peer to Peer (P2P) Network Technologies for Pervasive and Mobile Computing-Elsevier Pervasive and Mobile Computing Journal [Impact Factor=2.079] -