[Haskell] CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15

[Salvador Tamarit]

[Apologies if you receive 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 at imdea.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20160109/caed888a/attachment.html>