SHF: Small: Compiler Validation via Equivalence Modulo Inputs

SHF：小型：通过等效模输入进行编译器验证

• 批准号: 1528133
• 负责人: Zhendong Su
• 金额: $ 50万
• 依托单位: University of California-Davis
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-09-01 至 2018-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1528133&HistoricalAwards=false
• 关键词: SHF; Small; Compiler; Validation; via

Title: SHF:Small:Compiler Validation via Equivalence Modulo InputCompilers are among the most widely-used and complex software systems ever written; they are the trusted foundation for building other software. Perhaps less known is that production compilers also frequently contain bugs, which frustrate programmers and may lead to mysterious program failures and disasters. Compiler validation is both scientifically and technically challenging. The intellectual merits of this project are novel methodologies and practical techniques for validating production compilers. The project's broader significance and importance are improved reliability and usability of modern compilers. It also indirectly improves the quality of every piece of software upon which society increasingly depends.Technically, this project is centered around equivalent modulo input (EMI), a general concept and approach for validating compilers. A basic realization of EMI is effective and has discovered more than a hundred important bugs in widely-used compilers. This project builds on that success and focuses on three main directions: develop advanced strategies to realize EMI's full potential, test a compiler's diagnostic support and performance, and generalize techniques toward testing C++ and OpenMP compilers. The project aims to significantly advance our knowledge and state-of-the-art practices on validating and engineering reliable and usable compilers.

标题：SHF:Small:通过等价模输入进行编译器验证编译器是有史以来使用最广泛、最复杂的软件系统之一；它们是构建其他软件的值得信赖的基础。也许鲜为人知的是，生产编译器也经常包含错误，这让程序员感到沮丧，并可能导致神秘的程序故障和灾难。编译器验证在科学和技术上都具有挑战性。该项目的智力优点是用于验证生产编译器的新颖方法和实用技术。该项目更广泛的意义和重要性是提高现代编译器的可靠性和可用性。它还间接提高了社会日益依赖的每一个软件的质量。从技术上讲，该项目以等效模输入（EMI）为中心，这是一种用于验证编译器的通用概念和方法。 EMI 的基本实现是有效的，并在广泛使用的编译器中发现了一百多个重要错误。该项目建立在这一成功的基础上，重点关注三个主要方向：开发高级策略以实现 EMI 的全部潜力、测试编译器的诊断支持和性能以及推广用于测试 C++ 和 OpenMP 编译器的技术。该项目旨在显着提高我们在验证和设计可靠且可用的编译器方面的知识和最先进的实践。