CAREER: Cooperative Program Analysis: Bridging the Gap Between User and Tool Reasoning

职业:合作程序分析:弥合用户和工具推理之间的差距

基本信息

  • 批准号:
    1055066
  • 负责人:
  • 金额:
    $ 45.96万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2011
  • 资助国家:
    美国
  • 起止时间:
    2011-06-01 至 2018-05-31
  • 项目状态:
    已结题

项目摘要

While not perfect, the depth and breadth of what today's automated analysis tools can figure out about a program is truly remarkable. Yet, despite the prevalence and cost of software defects and despite the wealth of information such automated tools could provide, program analyzers are largely ignored by today's software engineers. This situation is not due to a lack of interest from software engineers or a lack of effort in deployment from analysis experts but rather a gap in the way a tool and its user reasons about the program, which results in, for example, a difficulty in providing analysis results understandable to the user. This research confronts closing this user-tool reasoning gap.The focus of the work is an effective approach to user-driven refinement of the analysis process. Novel techniques for generating explanations of program analysis results will be created. New approaches for trading off the exhaustiveness of compile-time verification and the simplicity of run-time checking will be developed. Together with prior work on user-centric analysis specifications, this project lays the foundation for tomorrow's tools where users and tools cooperate to reason effectively about programs. Significant potential impacts include the following: a change in the way software engineers view program analysis--replacing a magic box with a transparent reasoning assistant, improved software quality as a result of this change in view, and tools that engage students in algorithmic thinking in a hands-on manner.
虽然并不完美,但今天的自动化分析工具所能分析出的程序的深度和广度确实令人瞩目。 然而,尽管软件缺陷的流行和成本,尽管这样的自动化工具可以提供丰富的信息,程序分析器在很大程度上被今天的软件工程师忽视。 这种情况不是由于软件工程师缺乏兴趣或分析专家在部署方面缺乏努力,而是由于工具及其用户对程序的推理方式存在差距,这导致例如难以提供用户可理解的分析结果。 本研究致力于缩小用户与工具之间的推理差距,研究的重点是一种有效的用户驱动的分析过程细化方法。 将创建用于生成程序分析结果的解释的新技术。 将开发新的方法来权衡编译时验证的详尽性和运行时检查的简单性。 连同以前的工作,以用户为中心的分析规范,这个项目奠定了基础,为明天的工具,用户和工具合作,有效地理由有关的程序。 重要的潜在影响包括:改变软件工程师看待程序分析的方式--用透明的推理助手取代魔术盒,由于这种观点的改变而提高软件质量,以及让学生以动手的方式进行算法思考的工具。

项目成果

期刊论文数量(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 }}

Bor-Yuh Evan Chang其他文献

Bor-Yuh Evan Chang的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Bor-Yuh Evan Chang', 18)}}的其他基金

Collaborative Research: SHF: Small: A General Framework for Responsive Static Analysis
合作研究:SHF:小型:响应式静态分析的通用框架
  • 批准号:
    2223825
  • 财政年份:
    2022
  • 资助金额:
    $ 45.96万
  • 项目类别:
    Standard Grant
SHF: Small: Programming with Semantic Revision Requests
SHF:小型:使用语义修改请求进行编程
  • 批准号:
    2008369
  • 财政年份:
    2020
  • 资助金额:
    $ 45.96万
  • 项目类别:
    Standard Grant
IUCRC Planning University of Colorado Boulder: Center for Pervasive Personalized Intelligence (PPI)
IUCRC 规划科罗拉多大学博尔德分校:普适个性化情报中心 (PPI)
  • 批准号:
    1822135
  • 财政年份:
    2018
  • 资助金额:
    $ 45.96万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Online Verification-Validation
SHF:小型:协作研究:在线验证-确认
  • 批准号:
    1619282
  • 财政年份:
    2016
  • 资助金额:
    $ 45.96万
  • 项目类别:
    Standard Grant
SHF: Small: Modular Reflection
SHF:小型:模块化反射
  • 批准号:
    1218208
  • 财政年份:
    2012
  • 资助金额:
    $ 45.96万
  • 项目类别:
    Standard Grant
Funding to Support Student Attendees to POPL 2011
资助学生参加 POPL 2011
  • 批准号:
    1058624
  • 财政年份:
    2010
  • 资助金额:
    $ 45.96万
  • 项目类别:
    Standard Grant

相似海外基金

This service is for The BPN Biologics program requires bioassay development expertise in order to support active cooperative agreements for drug development and discovery.
该服务适用于 BPN Biologics 计划需要生物测定开发专业知识,以支持药物开发和发现的积极合作协议。
  • 批准号:
    10949343
  • 财政年份:
    2023
  • 资助金额:
    $ 45.96万
  • 项目类别:
California Department of Food and Agriculture, Egg Safety and Quality Management Program application for Conformance with the Egg Regulatory Program Standards, Cooperative Agreement.
加州食品和农业部鸡蛋安全和质量管理计划申请符合鸡蛋监管计划标准合作协议。
  • 批准号:
    10579799
  • 财政年份:
    2022
  • 资助金额:
    $ 45.96万
  • 项目类别:
FDA Veterinary Laboratory Investigation and Response Network Cooperative Agreement Program
FDA 兽医实验室调查和响应网络合作协议计划
  • 批准号:
    10572969
  • 财政年份:
    2022
  • 资助金额:
    $ 45.96万
  • 项目类别:
FDA Veterinary Laboratory Investigation and Response Network Cooperative Agreement Program
FDA 兽医实验室调查和响应网络合作协议计划
  • 批准号:
    10630210
  • 财政年份:
    2022
  • 资助金额:
    $ 45.96万
  • 项目类别:
California Department of Food and Agriculture, Egg Safety and Quality Management Program application for Conformance with the Egg Regulatory Program Standards, Cooperative Agreement.
加州食品和农业部鸡蛋安全和质量管理计划申请符合鸡蛋监管计划标准合作协议。
  • 批准号:
    10688074
  • 财政年份:
    2022
  • 资助金额:
    $ 45.96万
  • 项目类别:
US-Japan cooperative development of hands-on-program-based education for life science literacy
美日合作开发生命科学素养实践项目教育
  • 批准号:
    21KK0034
  • 财政年份:
    2021
  • 资助金额:
    $ 45.96万
  • 项目类别:
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
Path A Oregon Department of Agriculture's Cooperative Agreement for Continued Implementation of a Produce Safety Program
路径 A 俄勒冈州农业部关于继续实施农产品安全计划的合作协议
  • 批准号:
    10396377
  • 财政年份:
    2021
  • 资助金额:
    $ 45.96万
  • 项目类别:
Path C Indiana Produce Safety Cooperative Agreement Program (CAP)
路径 C 印第安纳州农产品安全合作协议计划 (CAP)
  • 批准号:
    10397322
  • 财政年份:
    2021
  • 资助金额:
    $ 45.96万
  • 项目类别:
Path C Advancement of the Produce Safety Rule by the South Carolina Department of Agriculture through the FDA's Cooperative Agreement Program for Produce Safety, Path C
路径 C 南卡罗来纳州农业部通过 FDA 的农产品安全合作协议计划推进农产品安全规则,路径 C
  • 批准号:
    10660936
  • 财政年份:
    2021
  • 资助金额:
    $ 45.96万
  • 项目类别:
Path B Produce Safety Cooperative Agreement Program 2021-2026
路径 B 生产安全合作协议计划 2021-2026
  • 批准号:
    10661013
  • 财政年份:
    2021
  • 资助金额:
    $ 45.96万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了