First International Workshop on
Program Transformation for Programmability in Heterogeneous Architectures
Barcelona, 12th March 2016, held in conjunction with the CGO Conference
Paper submission deadline: 22 January 2016 23:59 (UTC) [Extended]
Author notification: 5 February 2016
Final manuscript due: 26 February 2016
Aims and Scope
Developing and maintaining high-performance applications and libraries for heterogeneous architectures is a difficult task, usually requiring code transformations performed by an expert.
Tools assisting in and, if possible, automizing such transformations are of course of great interest. However, such tools require significant knowledge and reasoning capabilities. For example, the former could be a machine-understandable descriptions of what a piece of code is expected to do, while the latter could be a set of transformations and a corresponding logical context in which they are applicable, respectively. Furthermore, strategies to identify the sequence of transformations leading to the best resulting code need to be elaborated.
This workshop will focus on techniques and foundations which make it possible to perform source code transformations, which preserve the intended semantics of the original code and improve efficiency, portability or maintainability.
The topics of interest for the workshop include, but are not limited to:
- Program annotations to capture algorithmic properties and intended code semantics.
- Programming paradigms able to express underlying (mathematical) properties of code.
- Usage of dynamic and static mechanisms to infer relevant code properties.
- Transformations which preserve intended semantics.
- Strategies to apply transformations.
- Heuristics to guide program transformation and techniques to synthesize / learn these heuristics.
Submissions are to be written in English and not exceed 10 pages, including bibliography. Submissions should be written in ACM double-column format using a 10-point type. Authors should follow the information for formatting ACM SIGPLAN conference papers, which can be found at http://www.sigplan.org/Resources/Author .
Authors should submit their papers in pdf format using the EasyChair submission website https://easychair.org/conferences/?conf=proha2016 .
The proceedings will be made publicly available through ArXiV.
|8:55 - 9:00||Welcome|
|Session 1. Chair: Manuel Carro|
|9:00 - 9:30||Effective use of the PGAS Paradigm: Driving Transformations and Self-Adaptive Behavior in DASH-Applications.|
|K. Idrees, T. Fuchs and C. Glass|
|9:30 - 10:00||TANGO: Transparent heterogeneous hardware Architecture deployment for eNergy Gain in Operation|
K. Djemame, D. Armstrong, R. Kavanagh, J.C. Deprez, A.J. Ferrer, D. Garcia Perez, R. Badia, R. Sirvent, J. Ejarque and Y. Georgiou.
|10:00 - 10:30||If-Conversion Optimization using Neuro Evolution of Augmenting Topologies|
|R. Elkhouly, K. Kimura and Ahmed El-Mahdy.|
|10:30 - 11:00||Coffee break|
|Session 2. Chair: Colin Glass|
|11:00 - 11:30||Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems|
|S. Tamarit, J. Mariño, G. Vigueras and M. Carro|
|11:30 - 12:00||Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code|
|G. Vigueras, M. Carro, S. Tamarit and J. Mariño.|
|12:00 - 12:30||Optimized Polynomial Evaluation with Semantic Annotations|
|D. Rubio, C. Glass and J. Kuper|
- Manuel Carro, IMDEA Software Institute and Technical University of Madrid
- Colin W. Glass, University of Stuttgart
- Jan Kuper, University of Twente
- Julio Mariño, Technical University of Madrid
- Lutz Schubert, University of Ulm
- Guillermo Vigueras, IMDEA Software Institute
- Salvador Tamarit, Technical University of Madrid