课题基金 / 基金详情

SHF:Small: Crash Scene Investigation - Debugging Programs that Fail Unexpectedly

SHF:Small: Crash Scene Investigation - Debugging Programs that Fail Unexpectedly
SHF:Small:崩溃现场调查 - 调试意外失败的程序
批准号:
1420866
负责人:
Thomas Reps
金额:
$47.78万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-09-01 至 2020-08-31

项目摘要

项目成果

Thomas Reps的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
  • 依托单位:
国内基金
海外基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
  • 依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    10.0万元
  • 批准年份:
    2022
  • 负责人:
    张祥忠
  • 依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    高学文
  • 依托单位: