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

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

• 批准号: 2211750
• 负责人: Stephanie Forrest
• 金额: $ 55万
• 依托单位: Arizona State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2022
• 资助国家: 美国
• 起止时间: 2022-10-01 至 2026-09-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2211750&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的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Improving source-code representations to enhance search-based software repair

改进源代码表示以增强基于搜索的软件修复

• DOI: 10.1145/3512290.3528864
• 发表时间: 2022
• 期刊: Massachusetts
• 作者: Reiter, Pemma;Espinoza, Antonio M.;Doupé, Adam;Wang, Ruoyu;Weimer, Westley;Forrest, Stephanie
• 通讯作者: Forrest, Stephanie

Understanding the Power of Evolutionary Computation for GPU Code Optimization

了解用于 GPU 代码优化的进化计算的力量

• DOI: 10.1109/iiswc55918.2022.00025
• 发表时间: 2022
• 期刊: IEEE International Symposium on Workload Characterization (IISWC
• 作者: Liou, Jhe-Yu;Awan, Muaaz;Hofmeyr, Steven;Forrest, Stephanie;Wu, Carole-Jean
• 通讯作者: Wu, Carole-Jean

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

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

CirFix: Automated Hardware Repair and its Real-World Applications

• DOI: 10.1109/tse.2023.3269899
• 发表时间: 2023-07
• 期刊: IEEE Transactions on Software Engineering
• 影响因子: 7.4
• 作者: Priscila Santiesteban;Yu Huang;Westley Weimer;Hammad Ahmad

Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning

使用有界自动机学习合成 FPGA 的遗留字符串代码

• DOI: 10.1109/mm.2022.3178037
• 发表时间: 2022
• 期刊: IEEE Micro
• 影响因子: 3.6
• 作者: Angstadt, Kevin;Tracy, Tommy;Skadron, Kevin;Jeannin, Jean-Baptiste;Weimer, Westley
• 通讯作者: Weimer, Westley