CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15
[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
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
[Apologies if you receive multiple copies of this announcement.]
*********************************************************************************
PROHA 2016, CALL FOR PAPERS
First Workshop on Program Transformation for Programmability in Heterogeneous Architectures
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
[Apologies if you receive multiple copies of this announcement.]
*********************************************************************************
PROHA 2016, CALL FOR PAPERS -- Deadline extension
First Workshop on Program Transformation for Programmability in Heterogeneous Architectures
Barcelona, 12th March 2016, in conjunction with the CGO'16 Conference
*********************************************************************************
Important Dates:
Paper submission deadline: 22 January 2016 23:59 (UTC) [Extended] 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
[Apologies if you receive multiple copies of this announcement.]
******************************************************************************
PROHA 2016 -- CALL FOR PARTICIPATION
First Workshop on Program Transformation for Programmability in Heterogeneous Architectures
Website: http://goo.gl/RzGbzY
Barcelona, 12th March 2016 In conjunction with the CGO'16 Conference
==== Early Bird Registration: February 3rd, 2016 ====
For registration information, please see http://cgo.org/cgo2016/registration/
******************************************************************************
The PROHA workshop focuses on techniques and foundations to make it possible to perform source code transformations that preserve the intended semantics of the original code and improve efficiency, portability or maintainability. The topics of interest for the workshop include, non-exclusively: 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 supporting the aforementioned topics.
Venue: Gran Hotel Princesa Sofia, Barcelona, Spain.
Please consult the workshop website (http://goo.gl/RzGbzY) for an up-to-date program.
******************************************************************************
-
Guillermo Vigueras