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：小：通过等价模量输入程序验证的编译器验证是有史以来最广泛使用和最复杂的软件系统之一；它们是构建其他软件的值得信赖的基础。也许鲜为人知的是，生产编译器也经常包含错误，这会使程序员感到沮丧，并可能导致神秘的程序失败和灾难。编译器验证在科学和技术上都具有挑战性。该项目的智力优点是验证生产编译器的新方法和实用技术。该项目的更大意义和重要性是改善现代编译器的可靠性和可用性。它还间接地提高了社会越来越依赖的每个软件的质量。技术上，该项目围绕等效的Modulo Input（EMI），这是一种验证编译器的一般概念和方法。 EMI的基本认识是有效的，并且在广泛使用的编译器中发现了一百多个重要的错误。该项目以这一成功为基础，重点关注三个主要方向：制定高级策略，以实现EMI的全部潜力，测试编译器的诊断支持和性能，并将技术推广到测试C ++和OpenMP编译器。该项目旨在大大提高我们的知识和最先进的实践，以验证和工程可靠且可用的编译器。