<div dir="ltr"><div><br></div><div>*********************************************************************************</div><div><br></div><div>PROHA 2016, CALL FOR PAPERS</div><div><br></div><div>First Workshop on</div><div>Program Transformation for Programmability in Heterogeneous Architectures</div><div><br></div><div><a href="http://goo.gl/RzGbzY">http://goo.gl/RzGbzY</a></div><div><br></div><div>Barcelona, 12th March 2016, in conjunction with the CGO'16 Conference</div><div><br></div><div>*********************************************************************************</div><div><br></div><div>Important Dates:</div><div><br></div><div>Paper submission deadline: 15 January 2016 23:59 (UTC)</div><div>Author notification: 5 February 2016</div><div>Final manuscript due: 26 February 2016</div><div><br></div><div><br></div><div>Scope:</div><div><br></div><div>Developing and maintaining high-performance applications and libraries</div><div>for heterogeneous architectures is a difficult task, usually requiring</div><div>code transformations performed by an expert.</div><div><br></div><div>Tools assisting in and, if possible, automating such transformations</div><div>are of course of great interest. However, such tools require</div><div>significant knowledge and reasoning capabilities. For example, the</div><div>former could be a machine-understandable descriptions of what a piece</div><div>of code is expected to do, while the latter could be a set of</div><div>transformations and a corresponding logical context in which they are</div><div>applicable, respectively. Furthermore, strategies to identify the</div><div>sequence of transformations leading to the best resulting code need to</div><div>be elaborated.</div><div><br></div><div>This workshop will focus on techniques and foundations which make it</div><div>possible to perform source code transformations, which preserve the</div><div>intended semantics of the original code and improve efficiency,</div><div>portability or maintainability.</div><div><br></div><div>The topics of interest for the workshop include, but are not limited to:</div><div><br></div><div>* Program annotations to capture algorithmic properties and intended</div><div>  code semantics.</div><div><br></div><div>* Programming paradigms able to express underlying (mathematical)</div><div>  properties of code.</div><div><br></div><div>* Usage of dynamic and static mechanisms to infer relevant code</div><div>  properties.</div><div><br></div><div>* Transformations which preserve intended semantics.</div><div><br></div><div>* Strategies to apply transformations.</div><div><br></div><div>* Heuristics to guide program transformation and techniques to</div><div>  synthesize / learn these heuristics.</div><div><br></div><div>* Tools</div><div><br></div><div><br></div><div>Submission Guidelines:</div><div><br></div><div>Submissions are to be written in English and not exceed 10 pages,</div><div>including bibliography.  Submissions should be written in ACM</div><div>double-column format using a 10-point type.  Authors should follow the</div><div>information for formatting ACM SIGPLAN conference papers, which can be</div><div>found at <a href="http://www.sigplan.org/Resources/Author">http://www.sigplan.org/Resources/Author</a> .</div><div><br></div><div>Authors should submit their papers in pdf format using the EasyChair</div><div>submission website <a href="https://easychair.org/conferences/?conf=proha2016">https://easychair.org/conferences/?conf=proha2016</a> .</div><div><br></div><div><br></div><div>Publication:</div><div><br></div><div>The proceedings will be made publicly available through ArXiV.</div><div><br></div><div><br></div><div>Workshop Organizers:</div><div><br></div><div>- Manuel Carro, IMDEA Software Institute and Technical University of Madrid</div><div><br></div><div>- Colin W. Glass, University of Stuttgart</div><div><br></div><div>- Jan Kuper, University of Twente</div><div><br></div><div>- Julio Mariño, Technical University of Madrid </div><div><br></div><div>- Lutz Schubert, University of Ulm</div><div><br></div><div>- Guillermo Vigueras, IMDEA Software Institute</div><div><br></div><div>- Salvador Tamarit, Technical University of Madrid</div><div><br></div><div>If you have any questions, please contact the program chair at</div><div><a href="mailto:manuel.carro@imdea.org">manuel.carro@imdea.org</a></div><div><br></div></div>