Collaborative Research: CCRI: Planning-C: A Community for Configurability Open Research and Development (ACCORD)
Collaborative Research: CCRI: Planning-C: A Community for Configurability Open Research and Development (ACCORD)
批准号:
2234909
负责人:
Paul Gazzillo
金额:
$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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CAREER: Inferring and Securing Software Configurations through Automated Reasoning
-
批准号:1941816
-
项目类别:Continuing Grant
-
资助金额:$41.85万
-
财政年份:2020
-
负责人:Paul Gazzillo
-
依托单位:
SHF: Small: Collaborative Research: Static Analysis Infrastructure for Variability-Aware Bug Detection and Translation of Highly-Configurable Software Systems
-
批准号:1816614
-
项目类别:Standard Grant
-
资助金额:$22.91万
-
财政年份:2018
-
负责人:Paul Gazzillo
-
依托单位:
SHF: Small: Collaborative Research: Static Analysis Infrastructure for Variability-Aware Bug Detection and Translation of Highly-Configurable Software Systems
-
批准号:1840934
-
项目类别:Standard Grant
-
资助金额:$22.91万
-
财政年份:2018
-
负责人:Paul Gazzillo
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: