CoChat
Sign Up
Cited by 7Software Testing and Debugging TechniquesSoftware System Performance and ReliabilitySoftware-Defined Networks and 5G

The DOI matches its Crossref record.

Automatic Configuration Repair

Liu, Xu, Zhang, Peng, Abhashkumar, Anubhavnidhi, Chen, Jiawei, Jiang, Weirong·2024·Proceedings of the 23rd ACM Workshop on Hot Topics in Networks
DOI 10.1145/3696348.3696895
Open this paper in CoChat — free account

Abstract

Networks are error-prone due to misconfigurations, and it is hard to identify the root causes in the configuration and find a repair due to the size and complexity of networks running distributed routing protocols. Thus, we advocate Automatic Configuration Repair (ACR) to reduce the manual effort. Specifically, we draw some insights from the field of Automatic Software Repair (ASR), crystallize some lessons learned from the real-world repair experience of a large service provider, and propose some directions to realize ACR. Inspired by the generate-and-validate approach from ASR, we propose localize-fix-validate as a possible approach to realize ACR.

Overview

Integrity signals

Registry

Crossref · 10.1145/3696348.3696895

Cites

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

This paper’s full text isn’t openly available, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Citations

Cites

No references could be resolved yet.

Research works printed but not linked: 30

  1. 10.1145/3386367.3431304 · DOI
  2. 10.5555/1308173.1308264 · DOI
  3. 10.1145/2659118.2659125 · DOI
  4. 10.1145/1831708.1831715 · DOI
  5. 10.1109/TSE.2010.31 · DOI
  6. 10.1145/2635868.2635898 · DOI
  7. 10.1145/2934872.2934910 · DOI
  8. 10.1109/DSN.2002.1029005 · DOI
  9. 10.5555/3026877.3026895 · DOI
  10. Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015. A general approach to network configuration analysis. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). 469--483.
  11. Zhaoyu Gao, Anubhavnidhi Abhashkumar, Zhen Sun, Weirong Jiang, and Yi Wang. 2024. Crescent: Emulating Heterogeneous Production Network at Scale. In 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). 1045--1062.
  12. 10.1145/3180155.3182526 · DOI
  13. 10.1145/3132747.3132753 · DOI
  14. 10.1145/3152434.3152439 · DOI · Paper page
  15. Aaron Gember-Jacobson, Ruchit Shrestha, and Xiaolin Sun. 2022. Localizing router configuration errors using minimal correction sets. arXiv preprint arXiv:2204.10785 (2022). · arXiv
  16. 10.1145/1101908.1101949 · DOI
  17. Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer. 2011. Genprog: A generic method for automatic software repair. Ieee transactions on software engineering 38, 1 (2011), 54--72.
  18. 10.1109/ICST.2013.24 · DOI
  19. 10.1109/ICSE.2015.63 · DOI
  20. 10.1145/3105906 · DOI
  21. 10.1109/ICSE.2013.6606623 · DOI
  22. 10.1145/1831708.1831716 · DOI
  23. 10.1109/ASE.2013.6693094 · DOI
  24. Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo. 2017. Automated Bug Removal for {Software-Defined} Networks. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). 719--733.
  25. 10.1145/2740070.2626335 · DOI
  26. Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, and David Walker. 2023. Test Coverage for Network Configurations. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). 1717--1732.
  27. 10.1145/3387514.3406217 · DOI
  28. Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li. 2022. Differential network analysis. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). 601--615.
  29. Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, and Hao Li. 2020. {APKeep}: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). 241--255.
  30. 10.1145/3544216.3544264 · DOI

Cited by

Sorted by citations

Metadata

Authors
Liu, X., Zhang, P., Abhashkumar, A., Chen, J., & Jiang, W.
Affiliations
  • Xi'an Jiaotong University (CN)
  • ByteDance (China) (CN)
ORCID
Venue
Proceedings of the 23rd ACM Workshop on Hot Topics in Networks
Publisher
ACM
Published
2024-11-18
Pages
213-220
DOI
10.1145/3696348.3696895
OpenAlex
W4404240614
Cited by
7
References
0
Citations by year
2026: 5 · 2025: 2
FWCI
1.91
Type
conference paper
Language
en
Open access
closed
Licence
www.acm.org/publications/policies/copyright_policy#Background (vor)
Locations
ACM Workshop on Hot Topics in Networks (HotNets) (publishedVersion)
Funders
NSFC (62272382)
Topics
  • Physical Sciences › Computer Science › Software › Software Testing and Debugging Techniques
  • Physical Sciences › Computer Science › Computer Networks and Communications › Software System Performance and Reliability
  • Physical Sciences › Computer Science › Computer Networks and Communications › Software-Defined Networks and 5G
Keywords
network misconfiguration, distributed routing protocol, root cause identification, service provider networks

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review