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的一个基本实现是有效的，并在广泛使用的编译器中发现了100多个重要错误。该项目建立在这一成功的基础上，重点关注三个主要方向：开发高级策略以实现EMI的全部潜力，测试编译器的诊断支持和性能，以及测试C++和OpenMP编译器的通用技术。该项目旨在极大地促进我们在验证和设计可靠和可用的编译器方面的知识和最先进的做法。