SHF: SMALL: DockerizeME: Automatic Inference and Repair of Computing Environments

SHF:SMALL:DockerizeME:计算环境的自动推理和修复

基本信息

  • 批准号:
    1814798
  • 负责人:
  • 金额:
    $ 34.59万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-10-01 至 2021-09-30
  • 项目状态:
    已结题

项目摘要

When developing or deploying software, programmers must ensure that any external libraries or services which are necessary to run an application are properly installed and configured. The process of preparing computing infrastructure to properly execute an application is referred to as software configuration. Currently, programmers often manually perform software configuration, which can result in errors and poor maintainability; as a result, improper software configuration can cost billions of dollars of loss for business, lead to unexpected downtime of services, and cause failure of critical infrastructure and loss of data. Unfortunately, the skills required for proper software configuration can be orthogonal to software development, meaning there are limited programmers who are trained in software configuration skills.This project will develop techniques to automatically perform the software configuration necessary to run an arbitrary application. Two main research tasks will be investigated for this project. One task will be to develop an approach for automatically inferring a Dockerfile, a configuration script for the Docker container system, capable of executing an application. The approach will use automatic code analysis of existing software libraries to build an offline knowledge base capable of recovering the dependencies between them. The approach will augment the knowledge base with rules learned by mining existing Dockerfiles, configuration scripts, and developer resources like Stack Overflow. Further, the approach will apply minimization techniques on environment specifications extracted from this knowledge base to arrive at a minimal set of application dependencies. The second task will develop a system to detect when configuration scripts are incompatible with code, such as in the event of a dependency upgrade, and use search-based techniques to automatically repair these configuration scripts. In addition, transfer learning will be used to guide successful inferences and repairs. Finally, these approaches are applied in two applications: detecting when code snippets in community resources are incompatible with an API version, and building repair bots that can automatically create a pull request for repairing configuration scripts.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.
在开发或部署软件时,程序员必须确保正确安装和配置运行应用程序所需的任何外部库或服务。准备计算基础设施以正确执行应用程序的过程称为软件配置。目前,程序员经常手动执行软件配置,这可能导致错误和可维护性差;因此,不正确的软件配置可能会给业务造成数十亿美元的损失,导致服务意外停机,并导致关键基础设施故障和数据丢失。不幸的是,正确的软件配置所需的技能可能与软件开发正交,这意味着只有有限的程序员接受过软件配置技能的培训。本项目将开发自动执行运行任意应用程序所需的软件配置的技术。本项目将研究两项主要研究任务。其中一项任务是开发一种自动推断Dockerfile的方法,Dockerfile是Docker容器系统的配置脚本,能够执行应用程序。该方法将使用现有软件库的自动代码分析来构建能够恢复它们之间依赖关系的离线知识库。该方法将通过挖掘现有的Dockerfiles、配置脚本和Stack Overflow等开发人员资源来学习规则,从而增强知识库。此外,该方法将应用最小化技术从这个知识库中提取的环境规格,以达到一个最小的应用程序的依赖关系。第二项任务将开发一个系统,以检测配置脚本何时与代码不兼容,例如在依赖关系升级的情况下,并使用基于搜索的技术自动修复这些配置脚本。此外,迁移学习将用于指导成功的推理和修复。最后,这些方法应用于两个应用:检测社区资源中的代码片段何时与API版本不兼容,以及构建修复机器人,该修复机器人可以自动创建用于修复配置脚本的拉取请求。该奖项反映了NSF的法定使命,并通过使用基金会的智力价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(7)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Gistable: Evaluating the Executability of Python Code Snippets on GitHub
Gang of Eight: A Defect Taxonomy for Infrastructure as Code Scripts
Dozer: Migrating Shell Commands to Ansible Modules via Execution Profiling and Synthesis
Dozer:通过执行分析和综合将 Shell 命令迁移到 Ansible 模块
Docable: Evaluating the Executability of Software Tutorials
Docable:评估软件教程的可执行性
DockerizeMe: Automatic Inference of Environment Dependencies for Python Code Snippets
{{ 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 }}

Christopher Parnin其他文献

Christopher Parnin的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Christopher Parnin', 18)}}的其他基金

CAREER: Understanding and Supporting Programmer Cognition
职业:理解和支持程序员认知
  • 批准号:
    2045272
  • 财政年份:
    2021
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Continuing Grant
CRII: SHF: Building Visibility into the Cognitive Processes of Software Engineers via Biosensors
CRII:SHF:通过生物传感器构建软件工程师认知过程的可见性
  • 批准号:
    1755762
  • 财政年份:
    2018
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
REU Site: Science of Software
REU 网站:软件科学
  • 批准号:
    1559593
  • 财政年份:
    2016
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard 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 万元
  • 项目类别:
    重大研究计划

相似海外基金

CSR: Small: Leveraging Physical Side-Channels for Good
CSR:小:利用物理侧通道做好事
  • 批准号:
    2312089
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
NeTS: Small: NSF-DST: Modernizing Underground Mining Operations with Millimeter-Wave Imaging and Networking
NeTS:小型:NSF-DST:利用毫米波成像和网络实现地下采矿作业现代化
  • 批准号:
    2342833
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
CPS: Small: NSF-DST: Autonomous Operations of Multi-UAV Uncrewed Aerial Systems using Onboard Sensing to Monitor and Track Natural Disaster Events
CPS:小型:NSF-DST:使用机载传感监测和跟踪自然灾害事件的多无人机无人航空系统自主操作
  • 批准号:
    2343062
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
Collaborative Research: FET: Small: Reservoir Computing with Ion-Channel-Based Memristors
合作研究:FET:小型:基于离子通道忆阻器的储层计算
  • 批准号:
    2403559
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
オミックス解析を用いたブドウ球菌 small colony variants の包括的特徴づけ
使用组学分析全面表征葡萄球菌小菌落变体
  • 批准号:
    24K13443
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
AF: Small: Problems in Algorithmic Game Theory for Online Markets
AF:小:在线市场的算法博弈论问题
  • 批准号:
    2332922
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
Collaborative Research: FET: Small: Algorithmic Self-Assembly with Crisscross Slats
合作研究:FET:小型:十字交叉板条的算法自组装
  • 批准号:
    2329908
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
NeTS: Small: ML-Driven Online Traffic Analysis at Multi-Terabit Line Rates
NeTS:小型:ML 驱动的多太比特线路速率在线流量分析
  • 批准号:
    2331111
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331302
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331301
  • 财政年份:
    2024
  • 资助金额:
    $ 34.59万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了