I-Corps: Optimized Compiler Applications

I-Corps：优化的编译器应用程序

• 批准号: 1723712
• 负责人: Qing Yi
• 金额: $ 5万
• 依托单位: University of Colorado at Colorado Springs
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-02-01 至 2017-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1723712&HistoricalAwards=false
• 关键词: Corps; Optimized; Compiler; Applications

The broader impact/commercial potential of this I-Corps project is expected to enhance the performance, productivity, and correctness assurance of computer software development, particularly for computation or data intensive software in areas such as scientific computing, gaming, graph/map processing, data mining, signal processing, and machine learning. The project has potential to speed and scale these types of applications on a variety of hardware platforms. The correctness assurance of these applications is enhances by having a variety of implementation variants for different platforms automatically generated, while allowing a single easy-to-maintain version of the software being used as the source for the different implementation variants. These "automatically improved" applications can, in turn, enable better knowledge discovery through larger-scale scientific simulations and machine learning, and potentially improve the quality of people's daily lives through better GPS routing and natural language processing implementations.This I-Corps project will explore the commercial viability of a system that automatically produces efficient implementation variants of computer software on a variety of different hardware platforms. A graphical user interface is used to permit users to interactively specify the desired application features, provide knowledge about the application source code, and select the appropriate hardware platforms. The project is unique in its interface for supporting interactive communications among software developers, compiler optimizations, and performance tuning of optimizations for varying platforms. While the existing state-of-the-art largely treats compilers as black boxes that optimize a given software application for a single desired hardware platform, this project packages compiler technologies as a collection of optimization tool sets to be used interactively by developers so that optimizations can be applied at a much finer-grained level, specially customized to suit the needs of each application, and better tuned to exploit the varying capabilities of hardware platforms.

这个I-Corps项目的更广泛的影响/商业潜力预计将提高计算机软件开发的性能，生产力和正确性保证，特别是在科学计算，游戏，图形/地图处理，数据挖掘，信号处理和机器学习等领域的计算或数据密集型软件。 该项目有潜力在各种硬件平台上加速和扩展这些类型的应用程序。这些应用程序的正确性保证通过自动生成用于不同平台的各种实现变体来增强，同时允许将软件的单个易于维护的版本用作不同实现变体的源。 这些“自动改进”的应用程序反过来可以通过更大规模的科学模拟和机器学习来实现更好的知识发现，并通过更好的GPS路由和自然语言处理实现，潜在地改善人们的日常生活质量。Corps项目将探索一个系统的商业可行性，该系统可以在各种不同的环境中自动生成计算机软件的有效实现变体，硬件平台。 图形用户界面用于允许用户交互地指定所需的应用程序功能，提供有关应用程序源代码的知识，并选择适当的硬件平台。 该项目的独特之处在于它的界面支持软件开发人员之间的交互式通信、编译器优化以及针对不同平台的优化性能调优。虽然现有的最新技术在很大程度上将编译器视为针对单个所需硬件平台优化给定软件应用程序的黑盒，但该项目将编译器技术打包为开发人员交互使用的优化工具集的集合，以便可以在更细粒度的级别上应用优化，特别定制以适应每个应用程序的需求，并且更好地调整以利用硬件平台的变化能力。