SHF: Small: Compiler Validation via Equivalence Modulo Inputs
SHF:小型:通过等效模输入进行编译器验证
基本信息
- 批准号:1528133
- 负责人:
- 金额:$ 50万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2015
- 资助国家:美国
- 起止时间:2015-09-01 至 2018-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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:通过等效模输入验证验证器是有史以来使用最广泛和最复杂的软件系统之一;它们是构建其他软件的可靠基础。也许不太为人所知的是,生产编译器也经常包含bug,这会让程序员感到沮丧,并可能导致神秘的程序失败和灾难。生物验证在科学和技术上都具有挑战性。这个项目的智力价值是验证生产编译器的新方法和实用技术。该项目更广泛的意义和重要性是提高了现代编译器的可靠性和可用性。它还间接地提高了社会日益依赖的每一个软件的质量。从技术上讲,该项目以等效模输入(EMI)为中心,这是验证编译器的一般概念和方法。EMI的基本实现是有效的,并且在广泛使用的编译器中发现了一百多个重要的错误。该项目建立在这一成功的基础上,并专注于三个主要方向:开发高级策略以实现EMI的全部潜力,测试编译器的诊断支持和性能,以及将技术推广到测试C++和OpenMP编译器。该项目旨在显著提高我们在验证和设计可靠和可用的编译器方面的知识和最先进的实践。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Zhendong Su其他文献
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
精炼的输入,降级的输出:编译器行为的反直觉世界
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Theodoros Theodoridis;Zhendong Su - 通讯作者:
Zhendong Su
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
扩展论文:用于测试静态类型实现的 API 驱动程序综合
- DOI:
10.48550/arxiv.2311.04527 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Thodoris Sotiropoulos;Stefanos Chaliasos;Zhendong Su - 通讯作者:
Zhendong Su
Comparing Cognitive Load Among Undergraduate Students Programming in Python and the Visual Language Algot
比较本科生使用 Python 和视觉语言算法编程的认知负荷
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Sverrir Thorgeirsson;Theo B. Weidmann;Karl;Zhendong Su - 通讯作者:
Zhendong Su
Mutant Kras co-opts a proto-oncogenic enhancer network in inflammation-induced metaplastic progenitor cells to initiate pancreatic cancer.
- DOI:
https://doi.org/10.1038/s43018-020-00134-z - 发表时间:
2020 - 期刊:
- 影响因子:22.7
- 作者:
Yong Li;Yi He;Junya Peng;Zhendong Su;Zeyao Li;Bingjie Zhang;Jing Ma;Meilian Zhuo;Di Zou;Xinde Liu;Xinhong Liu;Wenze Wang;Dan Huang;Mengyue Xu;Jianbin Wang;Haiteng Deng;Jing Xue;Wei Xie;Xun Lan;Mo Chen;Yupei Zhao;Wenming Wu;Charles J. david - 通讯作者:
Charles J. david
Cited2 suppresses tumor formation and metastasis of neuroblastoma through inhibition of the CBP/p300-β-catenin-Sox9 axis
Cited2 通过抑制 CBP/p300-β-catenin-Sox9 轴来抑制神经母细胞瘤的肿瘤形成和转移
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Satoshi Kishida;Dongliang Cao;Peng Huang;Zhendong Su;Ichiro Takeuchi;Masato Nakaguro;Shoma Tsubota;Atsushi Narita;Yinyan Xu;Yasuko Yoshida;Yoshiyuki Takahashi;Kenji Kadomatsu - 通讯作者:
Kenji Kadomatsu
Zhendong Su的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Zhendong Su', 18)}}的其他基金
SHF: Small: Testing and Analysis for Reliable Numerical Software
SHF:小型:可靠数值软件的测试和分析
- 批准号:
1618158 - 财政年份:2016
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
EAGER: Toward Numerically Robust Software
EAGER:迈向数值稳健的软件
- 批准号:
1349528 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Similary-Based Program Analyses for Eliminating Vulnerabilities
TWC:小型:协作:基于相似性的程序分析以消除漏洞
- 批准号:
1319187 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Reusing Debugging Knowledge
SHF:小:重用调试知识
- 批准号:
1117603 - 财政年份:2011
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
TC: Small: Runtime and Static Analysis for Web Application Security
TC:小型:Web 应用程序安全的运行时和静态分析
- 批准号:
0917392 - 财政年份:2009
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Program Analysis for Reliable Numerical Software
可靠数值软件的程序分析
- 批准号:
0702622 - 财政年份:2007
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
CAREER: Reliability and Security of Database and Web Applications
职业:数据库和 Web 应用程序的可靠性和安全性
- 批准号:
0546844 - 财政年份:2006
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
Collaborative Research: CT-T: A Vertical Systems Framework for Effective Defense against Memory-Based Attacks
合作研究:CT-T:有效防御基于内存的攻击的垂直系统框架
- 批准号:
0627749 - 财政年份:2006
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
SHF: Small: The Compiler-Architecture Solution to the Data Dependent, Circuit-Level Critical-Paths Variations
SHF:小型:针对数据相关、电路级关键路径变化的编译器架构解决方案
- 批准号:
1908488 - 财政年份:2019
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Indy: Toward Safe and Fast Compiler Flags
SHF:小:Indy:迈向安全快速的编译器标志
- 批准号:
1817073 - 财政年份:2018
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Improving Memory Performance on Fused Architectures through Compiler and Runtime Innovations
SHF:小型:通过编译器和运行时创新提高融合架构的内存性能
- 批准号:
1525609 - 财政年份:2015
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Compiler and Architectural Techniques for Soft Error Resilience
SHF:小型:软错误恢复能力的编译器和架构技术
- 批准号:
1527463 - 财政年份:2015
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Compiler Coaching
SHF:小型:协作研究:编译器指导
- 批准号:
1421412 - 财政年份:2014
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: SMALL: COLLABORATIVE RESEARCH: Compiler Coaching
SHF:小型:协作研究:编译器指导
- 批准号:
1421652 - 财政年份:2014
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Optimizing Compiler and Runtime for Concurrency-Oriented Execution Model
SHF:小型:优化面向并发的执行模型的编译器和运行时
- 批准号:
1421505 - 财政年份:2014
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Memory Consistency -- Hardware, Compiler, and Programming Support
SHF:小:内存一致性——硬件、编译器和编程支持
- 批准号:
1318103 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: Detecting and Mitigating Smartphone Energy Bugs using Compiler and Runtime Analysis
SHF:小型:使用编译器和运行时分析检测和缓解智能手机能源错误
- 批准号:
1320764 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SHF: Small: A principled compiler for functional logic languages
SHF:小型:函数式逻辑语言的原则性编译器
- 批准号:
1317249 - 财政年份:2013
- 资助金额:
$ 50万 - 项目类别:
Standard Grant