IMPACT 2012 - 2nd InternationalWorkshop on Polyhedral Compilation Techniques (IMPACT 2012)
Topics/Call fo Papers
With the emergence of multicore processors and hardware accelerators, polyhedral compilation techniques have gained a lot of attention in both academia and industry, as a way to design effective loop nest optimization frameworks for high performance. This workshop provides a high-quality forum for researchers and practitioners working on analysis, transformations, and optimizations using the polyhedral model to exchange and debate ideas and visions. This is the second edition of IMPACT, and is being organized in conjunction with HiPEAC 2012 in Paris, France as a full-day workshop.
We welcome both theoretical and experimental papers on all aspects of polyhedral compilation and optimization. We strongly encourage submissions describing early results, works in progress, wild ideas, available tools, position papers, and experience reports, with an aim to stimulate discussions, collaborations, and advances in the field. Topics of interest include but are not limited to:
Polyhedral Compilation Flow
Automatic Parallelization and Optimization
Static Analysis
Theoretical Foundations of the Polyhedral Model
Robustness and Scalability of Polyhedral Techniques
Extensions to the Polyhedral Model
Hybrid Static-cum-Runtime Parallelization Techniques
Hardware Synthesis
Program Verification
Model Checking
Tool Demonstration
We welcome both theoretical and experimental papers on all aspects of polyhedral compilation and optimization. We strongly encourage submissions describing early results, works in progress, wild ideas, available tools, position papers, and experience reports, with an aim to stimulate discussions, collaborations, and advances in the field. Topics of interest include but are not limited to:
Polyhedral Compilation Flow
Automatic Parallelization and Optimization
Static Analysis
Theoretical Foundations of the Polyhedral Model
Robustness and Scalability of Polyhedral Techniques
Extensions to the Polyhedral Model
Hybrid Static-cum-Runtime Parallelization Techniques
Hardware Synthesis
Program Verification
Model Checking
Tool Demonstration
Other CFPs
- Joint ENCORE&PEPPHER Workshop on Programmability and Portability for Emerging Architectures (EPoPPEA)
- 2012 International Conference on Recent Advances in Computing and Software Systems (RACSS)
- Antibodies Asia Summit
- 2012 IEEE Symposium on Large Data Analysis and Visualization (LDAV)
- Mosharaka International Conference on Communications, Computers and Applications (MIC-CCA2012)
Last modified: 2011-09-19 13:50:26