paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Learning Patterns in Configuration

配置中的模式学习
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 2/10 · 该论文属于程序合成与配置模式挖掘,虽与程序分析/合成相关,但未涉及用户核心关注的 LLM/Agentic 程序静态分析、AI 辅助静态分析、浮点程序分析或贝叶斯程序分析等交叉方向。其应用场景为配置异常检测,与研究方向仅有较弱的 PL/SE 邻接关系。引用 0 inbox
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
crossref: 2026-09-12

AI 速览

一句话:提出配置模式挖掘,利用程序合成与字符串剖析从提交历史中学习配置规则,并构建 ConfMiner 检测异常配置。

大型服务依赖大量且不断增长的配置文件和参数,配置错误会导致运行异常,但配置参数合法值通常未文档化,只存在于少数专家经验中。本文提出“配置模式挖掘”问题:从示例中学习配置规则。作者结合程序合成与一种新的字符串剖析(string profiling)算法,利用配置文件内容及提交历史学习配置模式,并实现工具 ConfMiner。该工具在四个包含某大型企业服务配置的大型代码仓库上评估,结果显示能学习多种配置规则,且具有高精度,能有效标记异常配置。

问题
配置参数合法值缺乏规范或文档,难以自动检查大规模配置的正确性。
方法
结合程序合成与字符串剖析算法,从配置文件内容和提交历史中学习配置规则,并实现工具 ConfMiner。
评估
在四个大型企业服务配置仓库上评估,表明可高精度学习多种规则并有效标记异常配置。
原文摘要(Abstract)

Large services depend on correct configuration to run efficiently and seamlessly. Checking such configuration for correctness is important because services use a large and continuously increasing number of configuration files and parameters. Yet, very few such tools exist because the permissible values for a configuration parameter are seldom specified or documented, existing at best as tribal knowledge among a few domain experts.In this paper, we address the problem of configuration pattern mining: learning configuration rules from examples. Using program synthesis and a novel string profiling algorithm, we show that we can use file contents and histories of commits to learn patterns in configuration. We have built a tool called ConfMiner that implements configuration pattern mining and have evaluated it on four large repositories containing configuration for a large-scale enterprise service. Our evaluation shows that ConfMiner learns a large variety of configuration rules with high precision and is very useful in flagging anomalous configuration.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6518,
  title = {Learning Patterns in Configuration},
  author = {Ranjita Bhagwan and Sonu Mehta and Arjun Radhakrishna and Sahil Garg},
  booktitle = {ASE},
  year = {2021},
  doi = {10.1109/ase51524.2021.9678525}
}