Collaborative Research: CCRI: Planning-C: A Community for Configurability Open Research and Development (ACCORD)
合作研究:CCRI:Planning-C:可配置性开放研究与开发社区 (ACCORD)
基本信息
- 批准号:2234909
- 负责人:
- 金额:$ 4.99万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2023
- 资助国家:美国
- 起止时间:2023-06-01 至 2024-11-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Most software today is configurable, meaning it can be customized for different user purposes. While configurability makes software flexible, it can have an impact on software reliability, correctness, usability, performance, and security across all stages of development. Hence, a large community of researchers are studying ways to explore, sample, predict and reason about configurable systems in multiple sub-disciplines of computer science. This collaborative planning proposal brings together researchers from Iowa State University and the University of Central Florida to lay the groundwork for a collective research collaborative, A Community for Configurability Open Research and Development (ACCORD), that will help to centralize research on configurability and to create shared approaches, tools and solutions.The proposal includes activities to survey the research community, create awareness across different sub-disciplines, and document common goals and needs via interaction through workshops and outreach. In addition, activities will develop a common framework, set of tools, and vocabulary, including exemplar artifacts that embody the nature of ACCORD. The final ACCORD infrastructure will provide software tools, models, and solutions that work across different communities, along with tutorials and meta-data information that is not obtainable by only searching the literature. Benchmarks for different types of configurable systems will highlight functional, security and performance challenges.Concepts on configurability and preliminary ACCORD artifacts will be used in the classroom. Both graduate and undergraduate students will be involved in the prototyping of designs and artifacts and will help to build a survey of existing research in configurability. Workshops will be held for different sub-disciplines. Students from the Iowa State first-year honors undergraduate program and the University of Central Florida K-12 Camp Connect will be involved in activities related to this project. The planning will include outreach to non-CISE disciplines, e.g. researchers in the Bioinformatics community, who can benefit from the eventual development of ACCORD.The project website can be found at: https://faculty.sites.iastate.edu/mcohen/accord. It will be retained past the lifetime of this grant. All significant artifacts will be archived with a permanent digital object identifier (DOI).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.
今天的大多数软件都是可配置的,这意味着它可以根据不同的用户目的进行定制。虽然可配置性使软件变得灵活,但它会在开发的所有阶段对软件的可靠性、正确性、可用性、性能和安全性产生影响。 因此,大量的研究人员正在研究如何在计算机科学的多个子学科中探索、采样、预测和推理可配置系统。 这项合作计划提案汇集了来自爱荷华州州立大学和中央佛罗里达大学的研究人员,为集体研究合作奠定基础,这将有助于集中研究可配置性,并创建共享的方法,工具和解决方案。该提案包括调查研究社区的活动,通过讲习班和外联活动的互动,提高对不同次级学科的认识,并记录共同目标和需求。此外,活动将开发一个通用框架、一组工具和词汇表,包括体现雅阁本质的示例工件。最终的雅阁基础设施将提供跨不同社区工作的软件工具、模型和解决方案,沿着教程和元数据信息,而这些信息仅通过搜索文献是无法获得的。不同类型的可配置系统的基准测试将突出功能、安全和性能方面的挑战。可配置性的概念和初步的雅阁工件将在课堂上使用。研究生和本科生都将参与设计和工件的原型制作,并将帮助对现有的可配置性研究进行调查。将为不同的子学科举办讲习班。来自爱荷华州一年级荣誉本科课程和中央佛罗里达大学K-12营地连接的学生将参与与该项目有关的活动。该计划将包括与非CISE学科的联系,例如生物信息学界的研究人员,他们可以从雅阁的最终发展中受益。该项目的网站可以在:https://faculty.sites.iastate.edu/mcohen/accord上找到。它将在此授权的有效期内保留。所有重要的文物将被存档与永久的数字对象标识符(DOI)。这个奖项反映了NSF的法定使命,并已被认为是值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估的支持。
项目成果
期刊论文数量(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 }}
Paul Gazzillo其他文献
Kmax: finding all configurations of Kbuild makefiles statically
- DOI:
10.1145/3106237.3106283 - 发表时间:
2017-08 - 期刊:
- 影响因子:0
- 作者:
Paul Gazzillo - 通讯作者:
Paul Gazzillo
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
最大限度地提高补丁覆盖率,以测试高度可配置的软件,而不会增加构建时间
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Necip Fazil Yildiran;Jeho Oh;Julia Lawall;Paul Gazzillo - 通讯作者:
Paul Gazzillo
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
乐观事务对象的冲突抽象和影子推测
- DOI:
10.1007/978-3-030-34175-6_16 - 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Thomas D. Dickerson;Eric Koskinen;Paul Gazzillo;Maurice Herlihy - 通讯作者:
Maurice Herlihy
H ow to add concurrency to smart contracts
如何为智能合约添加并发性
- DOI:
- 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Thomas D. Dickerson;Paul Gazzillo;Maurice Herlihy;Eric Koskinen - 通讯作者:
Eric Koskinen
Analyzing Source Code Across Static Conditionals
跨静态条件分析源代码
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Paul Gazzillo - 通讯作者:
Paul Gazzillo
Paul Gazzillo的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Paul Gazzillo', 18)}}的其他基金
CAREER: Inferring and Securing Software Configurations through Automated Reasoning
职业:通过自动推理推断和保护软件配置
- 批准号:
1941816 - 财政年份:2020
- 资助金额:
$ 4.99万 - 项目类别:
Continuing Grant
SHF: Small: Collaborative Research: Static Analysis Infrastructure for Variability-Aware Bug Detection and Translation of Highly-Configurable Software Systems
SHF:小型:协作研究:用于高度可配置软件系统的可变性缺陷检测和转换的静态分析基础设施
- 批准号:
1816614 - 财政年份:2018
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Static Analysis Infrastructure for Variability-Aware Bug Detection and Translation of Highly-Configurable Software Systems
SHF:小型:协作研究:用于高度可配置软件系统的可变性缺陷检测和转换的静态分析基础设施
- 批准号:
1840934 - 财政年份:2018
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
相似国自然基金
复杂电子产品超精密加工及检测关键技术研究与应用
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于合成生物学的动物底盘品种优化及中试应用研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
运用组学整合技术探索萆薢分清散联合化疗治疗晚期胰腺癌的临床研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
九里香等提取物多靶向制剂抗肺癌的作用及机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
升血小板方治疗原发免疫性血小板减少症的临床研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
八髎穴微波热疗在女性膀胱过度活动症治疗中的价值研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于 miR-455-5p 介导的氧化应激机制探讨糖尿病视网膜病变中医分型治疗的临床研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于 UPLC-Q-TOF-MS/MS 分析的 异功散活性成分评价及提取工艺研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
无创电针对于痉挛型双瘫脑 瘫患儿的有效性与安全性研究:一项随机 单盲前瞻性队列研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
弹压式手法与体外冲击波治疗肱骨外上髁炎的对比研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
相似海外基金
Collaborative Research: CISE-MSI: RCBP-ED: CCRI: TechHouse Partnership to Increase the Computer Engineering Research Expansion at Morehouse College
合作研究:CISE-MSI:RCBP-ED:CCRI:TechHouse 合作伙伴关系,以促进莫尔豪斯学院计算机工程研究扩展
- 批准号:
2318703 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
Collaborative Research: CCRI: New: A Scalable Hardware and Software Environment Enabling Secure Multi-party Learning
协作研究:CCRI:新:可扩展的硬件和软件环境支持安全的多方学习
- 批准号:
2347617 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
Collaborative Research: CCRI: NEW: Building a Batteryless Computing Community through Access to Education, Testbeds, and Tools
合作研究:CCRI:新:通过获得教育、测试平台和工具构建无电池计算社区
- 批准号:
2235002 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
Collaborative Research: Research Infrastructure: CCRI: ENS: Enhanced Open Networked Airborne Computing Platform
合作研究:研究基础设施:CCRI:ENS:增强型开放网络机载计算平台
- 批准号:
2235160 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
Collaborative Research: CCRI: New: Syntactic Differencing Infrastructure for Software Evolution Research
合作研究:CCRI:新:软件进化研究的句法差异基础设施
- 批准号:
2232594 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
Collaborative Research: CCRI: New: CoMIC: A Collaborative Mobile Immersive Computing Research Infrastructure for Multi-user XR
协作研究:CCRI:新:CoMIC:用于多用户 XR 的协作移动沉浸式计算研究基础设施
- 批准号:
2235050 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
Collaborative Research: Research Infrastructure: CCRI: New: Distributed Space and Terrestrial Networking Infrastructure for Multi-Constellation Coexistence
合作研究:研究基础设施:CCRI:新:用于多星座共存的分布式空间和地面网络基础设施
- 批准号:
2235140 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
Collaborative Research: CISE-MSI: RCBP-ED: CCRI: TechHouse Partnership to Increase the Computer Engineering Research Expansion at Morehouse College
合作研究:CISE-MSI:RCBP-ED:CCRI:TechHouse 合作伙伴关系,以促进莫尔豪斯学院计算机工程研究扩展
- 批准号:
2318704 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant
Collaborative Research: CCRI: Grand: Quori 2.0: Uniting, Broadening, and Sustaining a Research Community Around a Modular Social Robot Platform
协作研究:CCRI:盛大:Quori 2.0:围绕模块化社交机器人平台联合、扩大和维持研究社区
- 批准号:
2235042 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Continuing Grant
Collaborative Research: CCRI: New: A Research News Recommender Infrastructure with Live Users for Algorithm and Interface Experimentation
合作研究:CCRI:新:研究新闻推荐基础设施与实时用户进行算法和界面实验
- 批准号:
2232554 - 财政年份:2023
- 资助金额:
$ 4.99万 - 项目类别:
Standard Grant