Collaborative Research: CCRI: Planning-C: A Community for Configurability Open Research and Development (ACCORD)

合作研究:CCRI:Planning-C:可配置性开放研究与开发社区 (ACCORD)

基本信息

项目摘要

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.
当今大多数软件都是可配置的,这意味着它可以针对不同的用户目的进行定制。虽然可配置性使软件变得灵活,但它可能会影响软件开发各个阶段的可靠性、正确性、可用性、性能和安全性。 因此,大量研究人员正在研究在计算机科学的多个子学科中探索、采样、预测和推理可配置系统的方法。 该合作规划提案汇集了爱荷华州立大学和中佛罗里达大学的研究人员,为集体研究合作奠定了基础,即可配置性开放研究和开发社区(ACCORD),这将有助于集中可配置性研究并创建共享方法、工具和解决方案。该提案包括调查研究界、提高不同子学科的认识以及通过研讨会和外展互动记录共同目标和需求的活动。此外,活动将开发一个通用框架、工具集和词汇表,包括体现 ACCORD 本质的示例工件。最终的 ACCORD 基础设施将提供跨不同社区工作的软件工具、模型和解决方案,以及仅通过搜索文献无法获得的教程和元数据信息。不同类型的可配置系统的基准将突出功能、安全和性能挑战。可配置性的概念和初步的 ACCORD 工件将在课堂上使用。研究生和本科生都将参与设计和工件的原型制作,并将帮助对现有可配置性研究进行调查。将为不同的子学科举办研讨会。来自爱荷华州立大学一年级荣誉本科课程和中佛罗里达大学 K-12 Camp Connect 的学生将参与与该项目相关的活动。该规划将包括对非 CISE 学科的推广,例如生物信息学界的研究人员可以从 ACCORD 的最终开发中受益。该项目网站位于: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其他文献

Uniform Sampling from Kconfig Feature Models
从 Kconïg 特征模型中均匀采样
  • DOI:
  • 发表时间:
    2024-09-13
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jeho Oh;D. Batory;Marijn J. H. Heule;Margaret Myers;Paul Gazzillo
  • 通讯作者:
    Paul Gazzillo
Decomposition instead of self-composition for proving the absence of timing channels
Kmax : Analyzing the Linux Build System
Kmax:分析 Linux 构建系统
Bringing Together Configuration Research: Towards a Common Ground
汇集配置研究:走向共同点
H ow to add concurrency to smart contracts
如何为智能合约添加并发性
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Thomas D. Dickerson;Paul Gazzillo;Maurice Herlihy;Eric Koskinen
  • 通讯作者:
    Eric Koskinen

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:小型:协作研究:用于高度可配置软件系统的可变性缺陷检测和转换的静态分析基础设施
  • 批准号:
    1840934
  • 财政年份:
    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:小型:协作研究:用于高度可配置软件系统的可变性缺陷检测和转换的静态分析基础设施
  • 批准号:
    1816614
  • 财政年份:
    2018
  • 资助金额:
    $ 4.99万
  • 项目类别:
    Standard Grant

相似国自然基金

基于肿瘤病理图片的靶向药物敏感生物标志物识别及统计算法的研究
  • 批准号:
    82304250
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
肠道普拉梭菌代谢物丁酸抑制心室肌铁死亡改善老龄性心功能不全的机制研究
  • 批准号:
    82300430
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
社会网络关系对公司现金持有决策影响——基于共御风险的作用机制研究
  • 批准号:
    72302067
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
面向图像目标检测的新型弱监督学习方法研究
  • 批准号:
    62371157
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
面向开放域对话系统信息获取的准确性研究
  • 批准号:
    62376067
  • 批准年份:
    2023
  • 资助金额:
    51 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: CCRI: Grand: Virtual Experience Research Accelerator (VERA)
合作研究:CCRI:盛大:虚拟体验研究加速器(VERA)
  • 批准号:
    2350377
  • 财政年份:
    2023
  • 资助金额:
    $ 4.99万
  • 项目类别:
    Continuing Grant
Collaborative Research: CCRI: New: A Research News Recommender Infrastructure with Live Users for Algorithm and Interface Experimentation
合作研究:CCRI:新:研究新闻推荐基础设施与实时用户进行算法和界面实验
  • 批准号:
    2232552
  • 财政年份:
    2023
  • 资助金额:
    $ 4.99万
  • 项目类别:
    Standard Grant
Collaborative Research: CCRI: Planning-C: Enabling Computer Architecture Simulation as a Service
合作研究:CCRI:Planning-C:实现计算机架构仿真即服务
  • 批准号:
    2234401
  • 财政年份:
    2023
  • 资助金额:
    $ 4.99万
  • 项目类别:
    Standard Grant
Collaborative Research: Research Infrastructure: CCRI:New: Data-Driven Cybersecurity Research Infrastructure for Smart Manufacturing
合作研究:研究基础设施:CCRI:新:数据驱动的智能制造网络安全研究基础设施
  • 批准号:
    2234973
  • 财政年份:
    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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了