-------- Weitergeleitete Nachricht -------- Betreff: [computational.science] Fwd: CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15 Datum: Wed, 23 Dec 2015 13:05:49 +0100 Von: Guillermo Vigueras guillermo.vigueras@imdea.org An: Computational Science Mailing List computational.science@lists.iccsa.org

[Apologies if you have gotten multiple copies of this announcement.]

*********************************************************************************

PROHA 2016, CALL FOR PAPERS

First Workshop on Program Transformation for Programmability in Heterogeneous Architectures

http://goo.gl/RzGbzY

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

*********************************************************************************

Important Dates:

Paper submission deadline: 15 January 2016 23:59 (UTC) Author notification: 5 February 2016 Final manuscript due: 26 February 2016

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, automating 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 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 .

Publication:

The proceedings will be made publicly available through ArXiV.

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 manuel.carro@imdea.org