PROHA 2016

First International Workshop on

Program Transformation for Programmability in Heterogeneous Architectures


Barcelona, 12th March 2016, held in conjunction with the CGO Conference


News: The proceedings are available


Important Dates

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.
  • Tools.

Submission Guidelines

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 .

Authors should submit their papers in pdf format using the EasyChair submission website .



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


Workshop Organizers

  • 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

If you have any questions, please contact the program chair at  This email address is being protected from spambots. You need JavaScript enabled to view it.  .

2017  POLCA Project