Automatically Repairing Network Control Planes Using an Abstract Representation-Reference-Cited by-同舟云学术

Automatically Repairing Network Control Planes Using an Abstract Representation

Published:2017-10-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th Symposium on Operating Systems Principles
language:
Short-container-title:

Author:

Gember-Jacobson Aaron¹,Akella Aditya²,Mahajan Ratul³,Liu Hongqiang Harry⁴

Affiliation:

1. Colgate University

2. University of Wisconsin-Madison

3. Intentionet

4. Microsoft Research

Funder

NSF

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3132747.3132753

Reference47 articles.

1. https://bitbucket.org/uw-madison-networking-research/arc. https://bitbucket.org/uw-madison-networking-research/arc.

2. Cisco IOS configuration fundamentals command reference. http//:www.cisco.com/c/en/us/td/docs/ios/fundamentals/command/reference/cf_book.pdf. Cisco IOS configuration fundamentals command reference. http//:www.cisco.com/c/en/us/td/docs/ios/fundamentals/command/reference/cf_book.pdf.

3. The z3 theorem prover. https://github.com/Z3Prover/z3. The z3 theorem prover. https://github.com/Z3Prover/z3.

4. R. Aharoni and E. Berger. Menger's theorem for infinite graphs. Inventiones mathematicae 2008. R. Aharoni and E. Berger. Menger's theorem for infinite graphs. Inventiones mathematicae 2008.

5. A scalable, commodity data center network architecture

Cited by 33 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Review of Intelligent Configuration and Its Security for Complex Networks;Chinese Journal of Electronics;2024-07

2. Kirigami, the Verifiable Art of Network Cutting;IEEE/ACM Transactions on Networking;2024-06

3. When debugging encounters artificial intelligence: state of the art and open challenges;Science China Information Sciences;2024-02-21

4. Automation for Network Security Configuration: State of the Art and Research Trends;ACM Computing Surveys;2023-10-05

5. Chroma: Learning and Using Network Contexts to Reinforce Performance Improving Configurations;Proceedings of the 29th Annual International Conference on Mobile Computing and Networking;2023-10-02