SHF: Small: Software and Hardware Support for Detecting Concurrency, Sequential and Distributed Bugs via Data-Flow Invariants
SHF:小型:通过数据流不变量检测并发、顺序和分布式错误的软件和硬件支持
基本信息
- 批准号:1017804
- 负责人:
- 金额:$ 42.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2010
- 资助国家:美国
- 起止时间:2010-08-01 至 2014-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Software reliability is critical for many applications. The pervasiveness of multi-core hardware and parallel programming makes parallel bugs become an increasingly important and urgent issue. Concurrency bugs together with the other types of bugs have significantly impacted software reliability. Although much effort has been put on detecting software bugs, existing work is still far from ideal, and many bugs, especially those in parallel or distributed programs, are still difficult to catch by existing tools. This proposal makes a major step toward improving the correctness of software, especially parallel and distribute software, by proposing a novel and widely applicable invariance, called data-flow invariance, that can be used to detect various types of software bugs, including parallel bugs and other types of bugs, and make software more reliable and secure. We strongly believe that our proposed research can effectively improve our understanding of this challenge, provide substantial tool support to software development, and greatly improve the quality of parallel and distributed software. We have also planned various educational and outreach activities for students, especially women students in computer science.
软件可靠性对于许多应用来说至关重要。多核硬件和并行编程的普遍存在使得并行错误成为一个日益重要和紧迫的问题。并发错误与其他类型的错误一起显着影响了软件的可靠性。尽管人们在检测软件错误方面付出了很大的努力,但现有的工作还远远不够理想,许多错误,特别是并行或分布式程序中的错误,仍然很难用现有的工具捕获。该提案通过提出一种新颖且广泛适用的不变性(称为数据流不变性),朝着提高软件(尤其是并行和分布式软件)的正确性迈出了重要一步,该不变性可用于检测各种类型的软件错误,包括并行错误和错误其他类型的错误,并使软件更加可靠和安全。我们坚信,我们提出的研究可以有效提高我们对这一挑战的理解,为软件开发提供实质性的工具支持,并大大提高并行和分布式软件的质量。我们还为学生,特别是计算机科学专业的女学生计划了各种教育和外展活动。
项目成果
期刊论文数量(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 }}
Yuanyuan Zhou其他文献
Synthesis and photoluminescence properties of a new red emitting phosphor: Ca3(VO4)2:Eu3+; Mn2+
新型红色荧光粉Ca3(VO4)2:Eu3的合成及其光致发光性能;
- DOI:
10.1016/j.materresbull.2006.09.002 - 发表时间:
2007 - 期刊:
- 影响因子:5.4
- 作者:
Haiping Zhang;M. Lü;Zhiliang Xiu;Shufen Wang;Guangjun Zhou;Yuanyuan Zhou;Shumei Wang;Zifeng Qiu;Aiyu Zhang - 通讯作者:
Aiyu Zhang
Crystal structure of ryanodine receptor SPRY2 domain from the diamondback moth provides insights for development of novel insecticides.
小菜蛾的兰尼碱受体 SPRY2 结构域的晶体结构为新型杀虫剂的开发提供了见解。
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:6.1
- 作者:
Yuanyuan Zhou;D. Ma;Lianyun Lin;M. You;Z. Yuchi;Shijun You - 通讯作者:
Shijun You
The Critical Role of Organoamines in the Irreversible Degradation of Metal Halide Perovskite Precursor: Mechanism and Inhibiting Strategy
有机胺在金属卤化物钙钛矿前驱体不可逆降解中的关键作用:机制和抑制策略
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:22
- 作者:
Qingshun Dong;Yuanyuan Zhou;Xiaoqiang Yu;Wenzhe Shang;Yanfeng Yin;Chen Jiang;Jiming Bian;Bo Song;Shengye Jin;Liduo Wang;Yantao Shi - 通讯作者:
Yantao Shi
Association of Hyponatremia and Renal Function in Type 1 Cardiorenal syndrome.
1 型心肾综合征低钠血症与肾功能的关联。
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:5.5
- 作者:
Xin He;Ruicong Xue;Yuzhong Wu;Chen Liu;Bin Dong;Yuanyuan Zhou;Weihao Liang;Yugang Dong;Marvin Owusu-Agyeman;Fangfei Wei;Zexuan Wu - 通讯作者:
Zexuan Wu
Semisupervised Learning-Based SAR ATR via Self-Consistent Augmentation
通过自洽增强实现基于半监督学习的 SAR ATR
- DOI:
10.1109/tgrs.2020.3013968 - 发表时间:
2021-06 - 期刊:
- 影响因子:8.2
- 作者:
Chen Wang;Jun Shi;Yuanyuan Zhou;Xiaqing Yang;Zenan Zhou;Shunjun Wei;Xiaoling Zhang - 通讯作者:
Xiaoling Zhang
Yuanyuan Zhou的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Yuanyuan Zhou', 18)}}的其他基金
RII Track-4: Novel Electrochemistry in Hybrid Organic-Inorganic Perovskite Materials
RII Track-4:有机-无机杂化钙钛矿材料中的新型电化学
- 批准号:
1929019 - 财政年份:2019
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Practical methods for detecting access permission vulnerabilities caused by sysadmin's configuration errors
SaTC:核心:小:检测由系统管理员配置错误引起的访问权限漏洞的实用方法
- 批准号:
1814388 - 财政年份:2018
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
CSR: Small: Practical methods for removing latent configuration errors in cloud platforms
CSR:小:消除云平台中潜在配置错误的实用方法
- 批准号:
1526966 - 财政年份:2015
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
CSR: Small: Proactive Methods in Handling Configuration Errors in Data Centers and Cloud Infrastructures
CSR:小:处理数据中心和云基础设施中配置错误的主动方法
- 批准号:
1321006 - 财政年份:2013
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
CSR: SMALL: Automatically Detecting, Diagnosing and Resolving Abnormal Battery Drain Issues on Smartphone Systems
CSR:小:自动检测、诊断和解决智能手机系统上的异常电池消耗问题
- 批准号:
1217408 - 财政年份:2012
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
I-Corps: Automating People Research with Intelligent Analysis and Mining of Social Network Data on the Internet
I-Corps:通过智能分析和挖掘互联网上的社交网络数据实现人员研究自动化
- 批准号:
1264250 - 财政年份:2012
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
CSR: Small: Improving Software Diagnosability via Automatic Log Inferrence and Informative Logging
CSR:小:通过自动日志推断和信息记录提高软件可诊断性
- 批准号:
1017784 - 财政年份:2010
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
CAREER: Improving Storage System Performance, Dependability and Manageability Using System Mining Techniques
职业:使用系统挖掘技术提高存储系统性能、可靠性和可管理性
- 批准号:
1001158 - 财政年份:2009
- 资助金额:
$ 42.5万 - 项目类别:
Continuing Grant
CSR---PDOS: Online Production-Run Software Failure Diagnosis at the User Site
CSR---PDOS:用户现场生产运行软件故障在线诊断
- 批准号:
1022830 - 财政年份:2009
- 资助金额:
$ 42.5万 - 项目类别:
Continuing Grant
Collaborative Research: Application-adaptive I/O Stack for Data-intensive Scientific Computing
协作研究:用于数据密集型科学计算的应用自适应 I/O 堆栈
- 批准号:
1001160 - 财政年份:2009
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
相似国自然基金
诊疗一体化PS-Hc@MB协同训练介导脑小血管病康复的作用及机制研究
- 批准号:82372561
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
非小细胞肺癌MECOM/HBB通路介导血红素代谢异常并抑制肿瘤起始细胞铁死亡的机制研究
- 批准号:82373082
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
基于胆碱能皮层投射纤维探讨脑小血管病在帕金森病步态障碍中的作用及机制研究
- 批准号:82301663
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
关于丢番图方程小素数解上界估计的研究
- 批准号:12301005
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
嗅球小胶质细胞P2X7受体在变应性鼻炎发生帕金森病样改变中的作用与机制研究
- 批准号:82371119
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
相似海外基金
SHF: Small: Taming Huge Page Problems for Memory Bulk Operations Using a Hardware/Software Co-Design Approach
SHF:小:使用硬件/软件协同设计方法解决内存批量操作的大页面问题
- 批准号:
2400014 - 财政年份:2024
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
SHF: Small: Hardware-Software Co-design for Privacy Protection on Deep Learning-based Recommendation Systems
SHF:小型:基于深度学习的推荐系统的隐私保护软硬件协同设计
- 批准号:
2334628 - 财政年份:2024
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
SHF: Small: Software and Hardware Support for Robust Deep Learning
SHF:小型:强大深度学习的软件和硬件支持
- 批准号:
2301334 - 财政年份:2023
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
CISE-ANR:SHF:小型:并发软件的基于场景的形式化证明
- 批准号:
2315363 - 财政年份:2023
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant
SHF: Small: Improving Efficiency of Vision Transformers via Software-Hardware Co-Design and Acceleration
SHF:小型:通过软硬件协同设计和加速提高视觉变压器的效率
- 批准号:
2233893 - 财政年份:2023
- 资助金额:
$ 42.5万 - 项目类别:
Standard Grant