III: Small: Collaborative Research: Creating and Evolving Software via Searching, Selecting and Synthesizing Relevant Source Code
III:小:协作研究:通过搜索、选择和综合相关源代码来创建和发展软件
基本信息
- 批准号:0916139
- 负责人:
- 金额:$ 15万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2009
- 资助国家:美国
- 起止时间:2009-09-01 至 2013-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Software developers rely on reusing source code snippets from existing libraries or applications to develop software features on time and within budget. The reality is such that most previously implemented features are embedded in billions of lines of scattered source code. State-of-the-art code search engines provide no guarantee that retrieved code snippets implement these features. Even if relevant code fragments are located, developers face rather complex task of selecting and moving these fragments into their applications. Finally, synthesizing new functionality by composing selected code fragments requires sophisticated reasoning about the behavior of these fragments and the consequent code. The result of this process is an overwhelming complexity, a steep learning curve, and a significant cost of building customized software.This research program proposes an integrated model for addressing fundamental problems of searching, selecting, and synthesizing (S3) source code. The S3 model relies on integrating program analysis and information retrieval to produce transformative models to automatically search, select, and synthesize relevant source code fragments. The S3 model will directly support new methodologies for software change and automated tools that assist programmers with various development, reuse and maintenance activities. Among the broader impacts the project includes collaboration with industry to transfer technology.
软件开发人员依赖于重用现有库或应用程序中的源代码片段,以便在预算范围内按时开发软件功能。现实是,大多数以前实现的功能都嵌入在数十亿行分散的源代码中。最先进的代码搜索引擎不能保证检索到的代码段实现了这些功能。即使找到了相关的代码片段,开发人员也面临着选择这些片段并将其移动到应用程序中的相当复杂的任务。最后,通过组合选定的代码片段来合成新功能需要对这些片段的行为和后续代码进行复杂的推理。这一过程的结果是压倒性的复杂性,陡峭的学习曲线,以及构建定制software.This研究计划的显着costs成本提出了一个综合模型,用于解决搜索,选择和合成(S3)源代码的基本问题。S3模型依赖于集成程序分析和信息检索来产生转换模型,以自动搜索、选择和合成相关的源代码片段。S3模型将直接支持软件变更的新方法和自动化工具,以帮助程序员进行各种开发、重用和维护活动。在更广泛的影响中,该项目包括与工业界合作转让技术。
项目成果
期刊论文数量(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 }}
Mark Grechanik其他文献
Testing software in age of data privacy: a balancing act
数据隐私时代的软件测试:平衡之举
- DOI:
10.1145/2025113.2025143 - 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
Kunal Taneja;Mark Grechanik;Rayid Ghani;Tao Xie - 通讯作者:
Tao Xie
Mark Grechanik的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Mark Grechanik', 18)}}的其他基金
SaTC: CORE: Small: Defense by Deception of Smartphone Software Applications For Users With Disabilities
SaTC:核心:小型:针对残障用户的智能手机软件应用程序的欺骗防御
- 批准号:
2129739 - 财政年份:2022
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
SHF:Small:Proving User Interface Testing Programs Correct
SHF:小:证明用户界面测试程序的正确性
- 批准号:
2120142 - 财政年份:2021
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
SHF: Small:Automatically Synthesizing System and Integration Tests
SHF:小型:自动综合系统和集成测试
- 批准号:
1908094 - 财政年份:2019
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
EAGER: Securing Smartphone Applications Against Rapidly Expanding Accessibility-Based Attacks
EAGER:保护智能手机应用程序免受快速扩展的基于辅助功能的攻击
- 批准号:
1650000 - 财政年份:2016
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
SHF: Small: Automatically Localizing Functional Faults In Deployed Software Applications
SHF:小型:自动定位已部署软件应用程序中的功能故障
- 批准号:
1615563 - 财政年份:2016
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
I-Corps: Automatically Localizing Functional Faults In Deployed Software Applications
I-Corps:自动定位已部署软件应用程序中的功能故障
- 批准号:
1547597 - 财政年份:2015
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Travel Support For ACM/IEEE International Conference on Software Engineering (ICSE 2014)
ACM/IEEE 软件工程国际会议 (ICSE 2014) 差旅支持
- 批准号:
1360923 - 财政年份:2014
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
III: Small: Collaborative Research: Linking Evolving Software Requirements and Acceptance Tests
III:小:协作研究:将不断发展的软件需求和验收测试联系起来
- 批准号:
1217928 - 财政年份:2012
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Preserving Test Coverage While Achieving Data Anonymity for Database-Centric Applications
SHF:小型:协作研究:保留测试覆盖率,同时实现以数据库为中心的应用程序的数据匿名性
- 批准号:
1017633 - 财政年份:2010
- 资助金额:
$ 15万 - 项目类别:
Continuing 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 万元
- 项目类别:重大研究计划
相似海外基金
Collaborative Research: III: Small: High-Performance Scheduling for Modern Database Systems
协作研究:III:小型:现代数据库系统的高性能调度
- 批准号:
2322973 - 财政年份:2024
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Collaborative Research: III: Small: High-Performance Scheduling for Modern Database Systems
协作研究:III:小型:现代数据库系统的高性能调度
- 批准号:
2322974 - 财政年份:2024
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Collaborative Research: III: Small: A DREAM Proactive Conversational System
合作研究:III:小型:一个梦想的主动对话系统
- 批准号:
2336769 - 财政年份:2024
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Collaborative Research: III: Small: A DREAM Proactive Conversational System
合作研究:III:小型:一个梦想的主动对话系统
- 批准号:
2336768 - 财政年份:2024
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
III: Small: Multiple Device Collaborative Learning in Real Heterogeneous and Dynamic Environments
III:小:真实异构动态环境中的多设备协作学习
- 批准号:
2311990 - 财政年份:2023
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Collaborative Research: III: Small: Reconstruction of Diffusion History in Cyber and Human Networks with Applications in Epidemiology and Cybersecurity
合作研究:III:小:重建网络和人类网络中的扩散历史及其在流行病学和网络安全中的应用
- 批准号:
2324770 - 财政年份:2023
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Collaborative Research: III: Small: Physics Guided Graph Networks for Modeling Water Dynamics in Freshwater Ecosystems
合作研究:III:小型:用于模拟淡水生态系统中水动力学的物理引导图网络
- 批准号:
2316306 - 财政年份:2023
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Collaborative Research: III: Small: Efficient and Robust Multi-model Data Analytics for Edge Computing
协作研究:III:小型:边缘计算的高效、稳健的多模型数据分析
- 批准号:
2311596 - 财政年份:2023
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Collaborative Research: III: Small: Efficient and Robust Multi-model Data Analytics for Edge Computing
协作研究:III:小型:边缘计算的高效、稳健的多模型数据分析
- 批准号:
2311598 - 财政年份:2023
- 资助金额:
$ 15万 - 项目类别:
Standard Grant
Collaborative Research: III: Small: Reconstruction of Diffusion History in Cyber and Human Networks with Applications in Epidemiology and Cybersecurity
合作研究:III:小:重建网络和人类网络中的扩散历史及其在流行病学和网络安全中的应用
- 批准号:
2324769 - 财政年份:2023
- 资助金额:
$ 15万 - 项目类别:
Standard Grant