Collaborative Research: SHF: Medium: Near-Hardware Program Repair and Optimization

合作研究：SHF：中：近硬件程序修复和优化

基本信息

批准号：
2211749
负责人：
Westley Weimer
金额：
$ 55万
依托单位：
Regents of the University of Michigan - Ann Arbor
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2022
资助国家：
美国
起止时间：
2022-10-01 至 2026-09-30
项目状态：
未结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=2211749&HistoricalAwards=false
关键词：
Collaborative Research SHF Medium Near

项目摘要

The project addresses today's reality that special-purpose computing hardware and hardware accelerators have become de facto necessities for supporting the large-scale computations used for data analysis, AI and machine learning, scientific modeling, and social-media platforms. At the same time, education and existing tools still require computer programmers to have deep knowledge of both low-level hardware considerations and higher-level application logic. Higher levels of program abstraction are more tractable for humans and automated program improvement methods because they separate algorithm logic from implementation details, while lower 'near-hardware' levels of abstraction are difficult for humans to understand and optimize because of the many crucial architectural and hardware details that often interact with application-level logic in non-trivial ways. The project addresses this gap by developing automated methods for near-hardware run-time optimization of programs, bug repair, and creation of new programs. It includes an evaluation featuring interactive human evaluations, which studies human interactions with the project's automated tools along several dimensions.The project aims to improve the automation of software engineering tasks for near-hardware domains. This requires addressing fundamental questions such as: What representations span multiple levels of abstraction? How can one analyze and select optimizations respecting both hardware and software constraints for real-world applications? How can a tool communicate its results to users who may lack expertise in either domain-specific architecture or hardware-specific details? The project adapts higher-level automated program improvement methods to three specific tasks: automatically finding optimizations that reduce general-purpose GPU code runtimes; repairing defects in circuit designs; and synthesizing debuggable code for hardware accelerators. Each task requires representations and algorithms that cross abstraction levels, and each task features an evaluation plan that places explicit emphasis on the human element, measuring the semantic gap between automatically lifted optimizations and different levels of human expertise, measuring ease of use of interactive synthesis tools across human expertise levels, and using eye tracking to investigate which elements of a multi-edit patch are most difficult understand. The project will enable many of the benefits of source-level automated program improvement to be available to near-hardware domains.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该项目解决了当今的现实，即专用计算硬件和硬件加速器已成为支持数据分析、人工智能和机器学习、科学建模和社交媒体平台的大规模计算的事实上的必需品。与此同时，教育和现有工具仍然要求计算机程序员对低级硬件考虑因素和高级应用逻辑有深入的了解。较高级别的程序抽象对于人类和自动化程序改进方法来说更容易处理，因为它们将算法逻辑与实现细节分开，而较低的“近硬件”抽象级别由于许多关键的架构和硬件而难以理解和优化。通常以非平凡的方式与应用程序级逻辑交互的细节。该项目通过开发自动化方法来解决这一差距，以实现程序的近硬件运行时优化、错误修复和新程序的创建。它包括一个以交互式人类评估为特色的评估，该评估从多个维度研究人类与项目自动化工具的交互。该项目旨在提高近硬件领域软件工程任务的自动化。这需要解决一些基本问题，例如：什么表示跨越多个抽象级别？如何根据实际应用的硬件和软件约束来分析和选择优化？工具如何向缺乏特定领域架构或特定硬件细节专业知识的用户传达其结果？该项目将更高级别的自动化程序改进方法应用于三个特定任务：自动查找可减少通用 GPU 代码运行时间的优化；修复电路设计中的缺陷；并为硬件加速器合成可调试代码。每个任务都需要跨越抽象级别的表示和算法，并且每个任务都有一个评估计划，明确强调人的因素，测量自动提升的优化和不同级别的人类专业知识之间的语义差距，测量交互式综合工具的易用性跨越人类专业知识水平，并使用眼动追踪来调查多重编辑补丁的哪些元素最难理解。该项目将使源级自动化程序改进的许多好处能够应用于近硬件领域。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力优点和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

期刊论文数量（5）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report)

START：可信且有弹性的自动驾驶汽车框架（实践经验报告）

DOI：
10.1109/issre55969.2022.00018
发表时间：
2022-10-01
期刊：
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)
影响因子：
0
作者：
Kevin Leach;C. Timperley;K. Angstadt;A. Nguyen;Jason Hiser;Aaron M. Paulos;P. Pal;P. Hurley;Carl Thomas;J. Davidson;S. Forrest;Claire Le Goues;Westley Weimer
通讯作者：
Westley Weimer

How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms

我们如何阅读正式索赔？