ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

IMPACT 2016 - 6th International Workshop on Polyhedral Compilation Techniques

Date2016-01-18 - 2016-01-20

Deadline2015-10-25

VenuePrague, Czech Republic Czech Republic

Keywords

Websitehttps://impact.gforge.inria.fr/impact2016

Topics/Call fo Papers

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

Last modified: 2015-08-11 22:23:15