paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Learning from, understanding, and supporting DevOps artifacts for docker

学习、理解并支持面向 Docker 的 DevOps 制品
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 3/10 · 论文属于程序分析与静态分析,但应用领域是 Docker/DevOps 制品,与用户关注的 ML/Agentic 程序静态分析、LLM 改进静态分析、浮点/贝叶斯分析等核心方向没有直接交集。引用 54 inbox
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas Reps
crossref: 2026-09-12

AI 速览

一句话:提出工具集 binnacle,从 90 万个 GitHub 仓库中学习并语义分析 Docker 等 DevOps 制品,超越浅层语法校验。

随着 DevOps 工具和框架日益普及,静态开发者辅助不能只关注普通代码;然而现有对 Docker 等工具的支持仅停留在浅层语法校验。论文指出 DevOps 制品支持中的三个核心挑战:制品内的嵌套语言、规则挖掘,以及缺乏基于语义规则的分析。为应对这些挑战,作者提出工具集 binnacle,并利用它摄取 90 万个 GitHub 仓库中的 DevOps 制品,以支撑对这类制品的学习、理解与开发辅助。摘要未报告更细粒度的实验指标,但强调工具集可在大规模真实仓库语料上运行。

问题
现有面向 Docker 等 DevOps 工具的静态开发者辅助只做浅层语法校验,难以处理嵌套语言、规则挖掘和语义规则分析等需求。
方法
作者提出 binnacle 工具集,针对 DevOps 制品中的嵌套语言、规则挖掘和缺乏语义规则分析三个挑战,支持从大规模仓库语料中学习并分析 Docker 等制品。
评估
摘要未报告具体评估指标;工具集被用于摄取 90 万个 GitHub 仓库,说明其应用与验证场景建立在大规模真实 DevOps 制品语料之上。
原文摘要(Abstract)

With the growing use of DevOps tools and frameworks, there is an increased need for tools and techniques that support more than code. The current state-of-the-art in static developer assistance for tools like Docker is limited to shallow syntactic validation. We identify three core challenges in the realm of learning from, understanding, and supporting developers writing DevOps artifacts: (i) nested languages in DevOps artifacts, (ii) rule mining, and (iii) the lack of semantic rule-based analysis. To address these challenges we introduce a toolset, binnacle, that enabled us to ingest 900,000 GitHub repositories.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5627,
  title = {Learning from, understanding, and supporting DevOps artifacts for docker},
  author = {Jordan Henkel and Christian Bird and Shuvendu K. Lahiri and Thomas Reps},
  booktitle = {ICSE},
  year = {2020},
  doi = {10.1145/3377811.3380406}
}