SHF:Small: Crash Scene Investigation - Debugging Programs that Fail Unexpectedly
SHF:Small: Crash Scene Investigation - Debugging Programs that Fail Unexpectedly
批准号:
1420866
负责人:
Thomas Reps
金额:
$47.78万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-09-01 至 2020-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Computer systems are pervasive in all aspects of modern society. Thesoftware running on these systems, however, is difficult to implementcorrectly, and many failures occur after software is already released tothe public. Unfortunately, these "post-deployment" failures are oftenthe most difficult to fix. Failing runs are difficult to reproduce andanalyze, as information about these failures is much more difficult andcostly to obtain than failures occurring before software release. ThePI's research will address this problem by making post-deploymentfailures more informative without sacrificing the end-user experience.Specifically, the project will tackle this problem on two fronts. First,deployed programs will perform low-cost, customizable tracing to enhancecore memory dumps produced by failures. The project will investigate methodsusing both static and dynamic analysis to reduce the cost and improvethe utility of traced information. Second, the enhanced memory dumpswill require development of powerful new automated postmortem analysesto partially automate the process of debugging and programunderstanding. These analysis results can then be used to furtherinform useful tracing strategies via dynamic feedback from previousfailures. Thus, information about a particular post-deployment faultcould continually improve as more failures are observed. This automatediterative improvement of postmortem analyses has the potential tosubstantially reduce effort required to fix post-deployment faults, thusleading to faster and more accurate patches, resulting in greaterreliability for the software we all rely upon in our daily lives.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of Code
-
批准号:2212558
-
项目类别:Standard Grant
-
资助金额:$20.92万
-
财政年份:2022
-
负责人:Thomas Reps
-
依托单位:
SHF: Medium: MACANTOK -- a MAchine-Code-ANalysis TOol Kit -- and its Applications
-
批准号:0904371
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2009
-
负责人:Thomas Reps
-
依托单位:
Advanced Methods for Performing Static Analysis of Machine Code
-
批准号:0810053
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2008
-
负责人:Thomas Reps
-
依托单位:
Collaborative Research: Advanced Static-Analysis Techniques for Ensuring Reliable Software
-
批准号:0540955
-
项目类别:Continuing Grant
-
资助金额:$27.5万
-
财政年份:2006
-
负责人:Thomas Reps
-
依托单位:
CT-ISG: Advanced Methods for Checking Information-Security Properties
-
批准号:0524051
-
项目类别:Standard Grant
-
资助金额:$46.0万
-
财政年份:2005
-
负责人:Thomas Reps
-
依托单位:
Investigation of a New Compressed Representation of Boolean Functions
-
批准号:9986308
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2000
-
负责人:Thomas Reps
-
依托单位:
Shape-Analysis for Languages with Destructive Updating
-
批准号:9619219
-
项目类别:Standard Grant
-
资助金额:$14.99万
-
财政年份:1997
-
负责人:Thomas Reps
-
依托单位:
Semantics-Based Program Manipulation
-
批准号:9625667
-
项目类别:Standard Grant
-
资助金额:$16.04万
-
财政年份:1996
-
负责人:Thomas Reps
-
依托单位:
Travel Support for U.S. Participants at an International Workshop; Wadern, Germany; March 9-13, 1992
-
批准号:9122095
-
项目类别:Standard Grant
-
资助金额:$1.65万
-
财政年份:1992
-
负责人:Thomas Reps
-
依托单位:
Semantics-Based Program Integration
-
批准号:9100424
-
项目类别:Continuing Grant
-
资助金额:$33.12万
-
财政年份:1991
-
负责人:Thomas Reps
-
依托单位:
Presidential Young Investigator Award: Language-Based Program Development Tools
-
批准号:8552602
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1986
-
负责人:Thomas Reps
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: