CRI: CI-P: Collaborative: Towards a Program Analysis Collaboratory
CRI:CI-P:协作:迈向程序分析协作实验室
基本信息
- 批准号:1823294
- 负责人:
- 金额:$ 4.65万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2018
- 资助国家:美国
- 起止时间:2018-08-01 至 2020-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Benchmark programs play an important role in evaluating the advances in program analysis research. Thus, the confidence of the evaluation depends on the quantity and the quality of the benchmark programs. The larger their number and the closer they resemble real-world programs, the higher confidence in the evaluation. Currently, research in the field of program analysis often relies on a few outdated or deficient benchmark programs for evaluation purposes. The difficulty in obtaining sufficient benchmark programs comes from the requirements imposed on the benchmark programs by program analyzers. Usually researchers manually obtain, inspect, and transform potential benchmark programs to create benchmark programs that meet those requirements. Such an unscalable approach often fails to produce adequate benchmark programs. The goal of this research is to automate this process and make it available through an online, public infrastructure. The infrastructure facilitates obtaining, selecting, and transforming open-source software projects for use as benchmark programs. In addition, the infrastructure gives researchers the ability to easily curate benchmark programs for program analysis and share the results of running their analyzers on those benchmarks. The objectives of this project are to solicit requirements and feedback from the program analysis community on automating benchmark program generation, and to prototype a Program Analysis Collaboratory (PAClab) research infrastructure that implements that process. Using researchers' specifications for adequate benchmark program generation, PAClab locates and obtains potential benchmark programs in open-source repositories; performs necessary program transformations as specified by researchers; and outputs the adequate benchmark programs. In addition, PAClab enables researchers to share their program analyzers using container technology, the transformed benchmark programs, and the results of running their analyzers on those benchmark programs. The intellectual merit of the project lies in investigating techniques for specifying and automating program transformations for targeted program analyzers. The broader impacts of the project stem from its potential to broaden adaptation of program analysis advances through the increased confidence of their evaluations; to lower the entry barrier for new program analysis researchers; and to accelerate the pace in program analysis research. PAClab's educational benefits include the ability for students to easily locate real-world programs and evaluate their implementations of program analyzers.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.
基准程序在评价程序分析研究进展方面起着重要作用。因此,评估的可信度取决于基准程序的数量和质量。它们的数量越大,越接近真实世界的程序,评估的可信度就越高。目前,程序分析领域的研究往往依赖于一些过时的或有缺陷的基准程序进行评估。获得足够的基准程序的困难来自于程序分析人员对基准程序的要求。通常研究人员手动获取,检查和转换潜在的基准程序,以创建满足这些要求的基准程序。这种不可扩展的方法通常无法产生足够的基准程序。这项研究的目标是使这一过程自动化,并通过在线公共基础设施提供。该基础设施有助于获取、选择和转换开源软件项目,以用作基准程序。此外,该基础设施使研究人员能够轻松地策划用于程序分析的基准程序,并共享在这些基准上运行分析器的结果。这个项目的目标是征求要求和反馈,从程序分析社区自动基准程序生成,并原型的程序分析协作实验室(PAClab)的研究基础设施,实现这一进程。使用研究人员的规范,充分的基准程序生成,PAClab定位和获得潜在的基准程序在开源存储库;执行必要的程序转换,由研究人员指定;和输出足够的基准程序。此外,PAClab使研究人员能够使用容器技术共享他们的程序分析器,转换的基准程序以及在这些基准程序上运行分析器的结果。该项目的智力价值在于调查技术,为目标程序分析器指定和自动化程序转换。该项目更广泛的影响源于其通过增强评估信心来扩大程序分析进展适应范围的潜力;降低新程序分析研究人员的进入门槛;并加快程序分析研究的步伐。PAClab的教育优势包括学生能够轻松地找到真实世界的程序和评估他们的程序分析器的实现。该奖项反映了NSF的法定使命,并被认为值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估来支持。
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Software engineering collaboratories (SEClabs) and collaboratories as a service (CaaS)
软件工程合作实验室 (SEClabs) 和合作实验室即服务 (CaaS)
- DOI:10.1145/3236024.3264839
- 发表时间:2018
- 期刊:
- 影响因子:0
- 作者:Sherman, Elena;Dyer, Robert
- 通讯作者:Dyer, Robert
{{
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 }}
Robert Dyer其他文献
A Preliminary Study of Quantified , Typed Events
量化、类型化事件的初步研究
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
Robert Dyer;M. Bagherzadeh;Hridesh Rajan;Yuanfang Cai - 通讯作者:
Yuanfang Cai
Is 30-Day Readmission a Valid Measure for Quality Care or Simply an Indicator of Severe Disease in Patients Discharged after Heart Failure Hospitalization?
- DOI:
10.1016/j.cardfail.2013.06.257 - 发表时间:
2013-08-01 - 期刊:
- 影响因子:
- 作者:
Jennifer L. Nixon;Jose Benuzillo;Raymond O. McCubrey;Deborah Budge;Kismet Rasmusson;Sally Brush;Rami Alharethi;Robert Dyer;Donald Lappe;Colleen Roberts;Abdallah Kfoury - 通讯作者:
Abdallah Kfoury
A dual-Brillouin-peak optical fiber for simultaneous distributed strain and temperature measurement
用于同时分布式应变和温度测量的双布里渊峰光纤
- DOI:
10.1117/12.2500926 - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Xiaoguang Sun;K. Bedard;Jie Li;Robert Dyer - 通讯作者:
Robert Dyer
Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study
软件演化和面向方面的接口的语言特征:一项探索性研究
- DOI:
10.1007/978-3-642-36964-3_5 - 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
Robert Dyer;Hridesh Rajan;Yuanfang Cai - 通讯作者:
Yuanfang Cai
Applying translucid contracts for modular reasoning about aspect and object oriented events
应用半透明契约进行面向方面和面向对象事件的模块化推理
- DOI:
10.1145/1960510.1960517 - 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
M. Bagherzadeh;G. Leavens;Robert Dyer - 通讯作者:
Robert Dyer
Robert Dyer的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Robert Dyer', 18)}}的其他基金
CI-EN: Boa: Enhancing Infrastructure for Studying Software and its Evolution at a Large Scale
CI-EN:Boa:增强大规模研究软件及其演化的基础设施
- 批准号:
1512947 - 财政年份:2015
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
SHF:Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise
SHF:大型:协作研究:利用数据和集体社区专业知识从开源存储库推断软件规范
- 批准号:
1518776 - 财政年份:2015
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
相似国自然基金
醒脑静多靶点调控PI3K/Akt通路抑制CI/RI氧化应激—基于网络药理学及体内、外实验研究
- 批准号:2025JJ90117
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于“免疫-神经”网络探讨眼针活化CI/RI大鼠MC靶向H3R调节“免疫监视”的抗炎机制
- 批准号:82374375
- 批准年份:2023
- 资助金额:51 万元
- 项目类别:面上项目
ci-Eln促进亲本基因Eln介导的缺氧肺动脉平滑肌细胞增殖的机制研究
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
通过单细胞转录组测序揭示Wolbachia诱导果蝇CI的分子机制
- 批准号:32170497
- 批准年份:2021
- 资助金额:58 万元
- 项目类别:面上项目
森林垂直分层LAI和CI时空变异特征、LiDAR遥感反演与验证研究
- 批准号:
- 批准年份:2021
- 资助金额:59 万元
- 项目类别:面上项目
CI 994对SLC25A46相关线粒体病的治疗及机制研究
- 批准号:82001449
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
近邻星系中[CI]线作为新分子气体质量探针的观测研究
- 批准号:12003070
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
lncRNA343/miR-509-3p/STC1轴在CI-AKI肾小管上皮细胞线粒体质量控制失衡中的作用与机制
- 批准号:81873607
- 批准年份:2018
- 资助金额:57.0 万元
- 项目类别:面上项目
α2肾上腺素受体活化促ESCRT-III膜聚集在肾CI/RI致肺程序性坏死中的机制研究
- 批准号:81801900
- 批准年份:2018
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
内共生菌引起棉叶螨的细胞质不亲和(CI)的分子机理研究
- 批准号:31860508
- 批准年份:2018
- 资助金额:39.0 万元
- 项目类别:地区科学基金项目
相似海外基金
CRI: CI-EN: Collaborative Research: mResearch: A platform for Reproducible and Extensible Mobile Sensor Big Data Research
CRI:CI-EN:协作研究:mResearch:可复制和可扩展的移动传感器大数据研究平台
- 批准号:
1822935 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
CRI: CI-New: Collaborative Research: Extensible, Software Enabled Unmanned Aerial Vehicles
CRI:CI-New:协作研究:可扩展、软件支持的无人机
- 批准号:
1823230 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Continuing Grant
CRI: CI-EN: Collaborative Research: OpenNetVM: A Software Platform Enabling Network Function Virtualization Research
CRI:CI-EN:协作研究:OpenNetVM:支持网络功能虚拟化研究的软件平台
- 批准号:
1823236 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
CRI: CI-EN: Collaborative Research: An Experimental Infrastructure and a Database of Real Faults to Foster Reproducibility in Software Engineering Research
CRI:CI-EN:协作研究:实验基础设施和真实故障数据库,以促进软件工程研究的可重复性
- 批准号:
1929215 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
CRI: CI-SUSTAIN: Collaborative Research: Sustaining Lemur Project Resources for the Long-Term
CRI:CI-SUSTAIN:合作研究:长期维持狐猴项目资源
- 批准号:
1822986 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
CRI: CI-EN: Collaborative Research: An Experimental Infrastructure and a Database of Real Faults to Foster Reproducibility in Software Engineering Research
CRI:CI-EN:协作研究:实验基础设施和真实故障数据库,以促进软件工程研究的可重复性
- 批准号:
1823172 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
CRI: CI-New: Collaborative Research: NJR: A Normalized Java Resource
CRI:CI-New:协作研究:NJR:标准化 Java 资源
- 批准号:
1823227 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
CRI: CI-EN: Collaborative Research: mResearch: A platform for Reproducible and Extensible Mobile Sensor Big Data Research
CRI:CI-EN:协作研究:mResearch:可复制和可扩展的移动传感器大数据研究平台
- 批准号:
1823221 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
CRI: CI-SUSTAIN: Collaborative Research: CiteSeerX: Toward Sustainable Support of Scholarly Big Data
CRI:CI-SUSTAIN:协作研究:CiteSeerX:迈向学术大数据的可持续支持
- 批准号:
1823288 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant
CRI: CI-SUSTAIN: Collaborative Research: CiteSeerX: Toward Sustainable Support of Scholarly Big Data
CRI:CI-SUSTAIN:协作研究:CiteSeerX:迈向学术大数据的可持续支持
- 批准号:
1853919 - 财政年份:2018
- 资助金额:
$ 4.65万 - 项目类别:
Standard Grant