arXiv 1603.034882016-03-10cs.PLcs.DCcs.SE

第一届异构体系结构中可编程性的程序转换研讨会会议录

Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures

Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro

摘要：

本卷包含PROHA 2016的会议记录，这是2016年3月12日在西班牙巴塞罗那举行的第一次关于异构体系结构中可编程性的程序转换的研讨会，作为CGO 2016的附属研讨会，第14届代码生成和优化国际研讨会。开发和维护异构体系结构的高性能应用程序和库，同时保留其语义并具有合理的效率是一项耗时的任务，通常只有专家才有可能。它通常需要手动调整顺序的、与平台无关的代码以适应不同的基础设施，并保持所有这些基础设施中的更改同步。这些程序修改任务成本高且容易出错。当然，帮助并在可能的情况下自动化这种转换的工具是非常感兴趣的。然而，这样的工具可能需要显著的推理和知识处理能力，包括例如能够处理一段代码的语义的机器可理解的描述;在它们适用的上下文中执行程序变换;使用策略来标识导致最佳结果代码的变换序列;以及其他。

英文摘要：

This volume contains the proceedings of PROHA 2016, the first workshop on Program Transformation for Programmability in Heterogeneous Architectures, held on March 12, 2016 in Barcelona, Spain, as an affiliated workshop of CGO 2016, the 14th International Symposium on Code Generation and Optimization. Developing and maintaining high-performance applications and libraries for heterogeneous architectures while preserving its semantics and with a reasonable efficiency is a time-consuming task which is often only possible for experts. It often requires manually adapting sequential, platform-agnostic code to different infrastructures, and keeping the changes in all of these infrastructures in sync. These program modification tasks are costly and error-prone. Tools to assist in and, if possible, automate such transformations are of course of great interest. However, such tools may need significant reasoning and knowledge processing capabilities, including, for example, being able to process machine-understandable descriptions of the semantics of a piece of code is expected to do; to perform program transformations inside a context in which they are applicable; to use strategies to identify the sequence of transformations leading to the best resulting code; and others.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

摘要：

英文摘要：

相关论文