SHF: Small: Programming with Semantic Revision Requests
SHF:小型:使用语义修改请求进行编程
基本信息
- 批准号:2008369
- 负责人:
- 金额:$ 49.92万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2020
- 资助国家:美国
- 起止时间:2020-06-01 至 2024-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Software development today is a social process, and the workflow ofprogrammers is increasingly centered around discussing programrevisions - that is, artifacts that document small, incremental programchanges. Meanwhile, traditional research on testing, debugging, and analyzingprograms focuses on one program version at a time, ignoring any preceding orsucceeding versions of the same software artifact. The project's noveltiesare a foundational examination of program revisions and the investigation ofautomated techniques that cooperatively assist software-engineering teamswith reasoning about them. The project's impacts are to enhance the wayengineering teams collaboratively evolve their software and thus enable themto more effectively create secure and reliable software on which societydepends.The project's core contribution is defining the notion of a "semanticrevision request" that enables treating program revisions as first-classentities for debugging and analysis tools. A semantic view of programrevisions enables programmers to run or analyze the program revision (bothbefore and after a change simultaneously), not merely each of the two programversions, as supported by today's conventional tools. By focusing ondebugging and analyzing program revisions - not their individual programversions - the resulting tools come closer to capturing the intent of theprogrammer as they develop and commit program changes. The intended broaderimpact from a technical perspective is that these executable and analyzablespecifications will supplement, or even replace, informal descriptions abouthow software systems evolve, by providing an unambiguous way to communicatehigh-level programmer intent.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
今天的软件开发是一个社会过程,程序员的工作流程越来越多地以讨论程序修订为中心--即记录小的、增量的程序更改的构件。同时,传统的测试、调试和分析程序的研究一次只关注一个程序版本,而忽略了同一软件构件的任何先前或后续版本。该项目的创新之处在于对程序修订的基础性检查,以及对自动化技术的研究,这些自动化技术合作地帮助软件工程团队对它们进行推理。该项目的影响是增强了工程团队协作发展他们的软件的方式,从而使他们能够更有效地创建社会依赖的安全可靠的软件。该项目的核心贡献是定义了“语义修订请求”的概念,使得能够将程序修订视为调试和分析工具的一流实体。程序修订的语义视图使程序员能够运行或分析程序修订(同时在更改之前和之后),而不是像今天的传统工具所支持的那样,仅仅运行或分析两个程序版本中的每一个。通过专注于调试和分析程序版本--而不是它们各自的程序版本--所产生的工具更接近于捕捉程序员在开发和提交程序更改时的意图。从技术角度看,预期的更广泛影响是,这些可执行和可分析的规范将通过提供一种明确的方式来沟通高级程序员的意图,从而补充甚至取代关于软件系统发展的非正式描述。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Demanded abstract interpretation
要求抽象解释
- DOI:10.1145/3453483.3454044
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:Stein, Benno;Chang, Bor-Yuh Evan;Sridharan, Manu
- 通讯作者:Sridharan, Manu
Selectively-Amortized Resource Bounding
选择性摊销资源限制
- DOI:10.1007/978-3-030-88806-0_14
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:Lu, Tianhan;Chang, Bor-Yuh Evan;Trivedi, Ashutosh
- 通讯作者:Trivedi, Ashutosh
{{
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
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
IUCRC Planning University of Colorado Boulder: Center for Pervasive Personalized Intelligence (PPI)
IUCRC 规划科罗拉多大学博尔德分校:普适个性化情报中心 (PPI)
- 批准号:
1822135 - 财政年份:2018
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Online Verification-Validation
SHF:小型:协作研究:在线验证-确认
- 批准号:
1619282 - 财政年份:2016
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
CAREER: Cooperative Program Analysis: Bridging the Gap Between User and Tool Reasoning
职业:合作程序分析:弥合用户和工具推理之间的差距
- 批准号:
1055066 - 财政年份:2011
- 资助金额:
$ 49.92万 - 项目类别:
Continuing Grant
Funding to Support Student Attendees to POPL 2011
资助学生参加 POPL 2011
- 批准号:
1058624 - 财政年份:2010
- 资助金额:
$ 49.92万 - 项目类别:
Standard 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 RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.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: A New Semantics for Type-Level Programming in Haskell
SHF:SMALL:Haskell 中类型级编程的新语义
- 批准号:
2345580 - 财政年份:2024
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
SHF: Small: Game Logic Programming
SHF:小:游戏逻辑编程
- 批准号:
2346619 - 财政年份:2024
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
SHF: Small: Programming, and Reasoning about, Actors that Share State
SHF:小:共享状态的参与者的编程和推理
- 批准号:
2315884 - 财政年份:2023
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Programmable Hierarchical Caches: Design, Programming, and Prototyping
合作研究:SHF:小型:可编程分层缓存:设计、编程和原型设计
- 批准号:
2114285 - 财政年份:2021
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
SHF: Small: Solving the Parallel Functional Programming Challenge
SHF:小型:解决并行函数式编程挑战
- 批准号:
2115104 - 财政年份:2021
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Small: Programmable Hierarchical Caches: Design, Programming, and Prototyping
合作研究:SHF:小型:可编程分层缓存:设计、编程和原型设计
- 批准号:
2114319 - 财政年份:2021
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
SHF:小型:一种用交互式语法扩展编程语言的机制
- 批准号:
2007686 - 财政年份:2020
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
SHF: Small: Probabilistic Programming and Statistical Verification for Safe Autonomy
SHF:小:安全自治的概率编程和统计验证
- 批准号:
2008883 - 财政年份:2020
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Programming Tools for Adaptive Data Analysis
SHF:小型:协作研究:自适应数据分析的编程工具
- 批准号:
2040222 - 财政年份:2020
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant
SHF: Small: Programming Foundations for Real-Time Data Analysis
SHF:小型:实时数据分析的编程基础
- 批准号:
2008096 - 财政年份:2020
- 资助金额:
$ 49.92万 - 项目类别:
Standard Grant