Diffy: Data-Driven Bug Finding for Configurations
Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett
Abstract
Configuration errors remain a major cause of system failures and service outages. One promising approach to identify configuration errors automatically is to learn common usage patterns (and anti-patterns) using data-driven methods. However, existing data-driven learning approaches analyze only simple configurations ( e.g. , those with no hierarchical structure), identify only simple types of issues ( e.g. , type errors), or require extensive domain-specific tuning. In this paper, we present D iffy , the first push-button configuration analyzer that detects likely bugs in structured configurations. From example configurations, D iffy learns a common template, with "holes" that capture their variation. It then applies unsupervised learning to identify anomalous template parameters as likely bugs. We evaluate D iffy on a large cloud provider’s wide-area network, an operational 5G network testbed, and MySQL configurations, demonstrating its versatility, performance, and accuracy. During D iffy ’s development, it caught and prevented a bug in a configuration timer value that had previously caused an outage for the cloud provider.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 6e3857fc-9cf4-4939-8c80-b004201c714cCited by top-tier papers2
- Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic SimulationRulan Yang, Gao Han, Hanyang Shao, Xiaoqiang Zheng et al.NSDI 2026
- Concord: Learning Network Configuration ContractsRyan Beckett, Francis Y. Yan, Raghunadha Reddy Pocha, Vineesh V. Raj et al.EuroSys 2026
Builds on7
- APKeep: Realtime Verification for Real NetworksPeng Zhang, Xu Liu, Hongkun Yang, Ning Kang et al.NSDI 2020 · 99 citations
- Understanding and discovering software configuration dependencies in cloud and datacenter systemsQingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li et al.FSE 2020 · 54 citations
- Finding Network Misconfigurations by Automatic Template InferenceSiva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman et al.NSDI 2020 · 53 citations
- Abstract interpretation of distributed network control planesRyan Beckett, Aarti Gupta, Ratul Mahajan, David WalkerPOPL 2020 · 46 citations
- Campion: debugging router configuration differencesAlan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai et al.SIGCOMM 2021 · 37 citations
Related papers
- Learning Patterns in ConfigurationRanjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil GargASE 2021 · 11 citations
- Large Language Models as Configuration ValidatorsXinyu Lian, Yinfang Chen, Runxiang Cheng, Jie Huang et al.ICSE 2025 · 7 citations
- Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic ExecutionYigong Hu, Gongqi Huang, Peng HuangOSDI 2020 · 31 citations
- CausalTune: Causal Learning based Automated Cellular RAN Configuration Tuning FrameworkLeyang Xue, Bolun Zhang, Yibo Ma, Mahesh K. Marina et al.SIGCOMM 2026
- Metha: Network Verifiers Need To Be Correct Too!Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever et al.NSDI 2021 · 20 citations
