Lessons from the evolution of the Batfish configuration analysis tool-Reference-Cited by-同舟云学术

Lessons from the evolution of the Batfish configuration analysis tool

Published:2023-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the ACM SIGCOMM 2023 Conference
language:
Short-container-title:

Author:

Brown Matt¹^ORCID,Fogel Ari²^ORCID,Halperin Daniel²^ORCID,Heorhiadi Victor²^ORCID,Mahajan Ratul³⁴^ORCID,Millstein Todd⁵⁶^ORCID

Affiliation:

1. Intentionet, Los Angeles, USA

2. Intentionet, Seattle, USA

3. Intentionet, Seattle, United States of America

4. University of Washington, Seattle, USA

5. Intentionet, Los Angeles, United States of America

6. UCLA, Los Angeles, USA

Publisher

ACM

Link

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

Reference65 articles.

1. Anubhavnidhi Abhashkumar , Aaron Gember-Jacobson , and Aditya Akella . 2020 . Tiramisu: Fast Multilayer Network Verification. In NSDI. Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast Multilayer Network Verification. In NSDI.

2. Akers. 1978. Binary Decision Diagrams . IEEE Trans. Comput . ( 1978 ). Akers. 1978. Binary Decision Diagrams. IEEE Trans. Comput. (1978).

3. E.S. Al-Shaer and H.H. Hamed. 2004. Discovery of Policy Anomalies in Distributed Firewalls. In INFOCOM. E.S. Al-Shaer and H.H. Hamed. 2004. Discovery of Policy Anomalies in Distributed Firewalls. In INFOCOM.

4. John Backes S. Bayless Byron Cook C. Dodge Andrew Gacek A.J. Hu T. Kahsai B. Kocik E. Kotelnikov J. Kukovec Sean McLaughlin J. Reed Neha Rungta J. Sizemore M. Stalzer P. Srinivasan P. Suboti Carsten Varming and B. Whaley. 2019. Reachability Analysis for AWS-based networks. In CAV. John Backes S. Bayless Byron Cook C. Dodge Andrew Gacek A.J. Hu T. Kahsai B. Kocik E. Kotelnikov J. Kukovec Sean McLaughlin J. Reed Neha Rungta J. Sizemore M. Stalzer P. Srinivasan P. Suboti Carsten Varming and B. Whaley. 2019. Reachability Analysis for AWS-based networks. In CAV.

5. Sam Bayless , Noah Bayless , Holger H. Hoos , and Alan J. Hu. 201 5. SAT Modulo Monotonic Theories. In AAAI. Sam Bayless, Noah Bayless, Holger H. Hoos, and Alan J. Hu. 2015. SAT Modulo Monotonic Theories. In AAAI.

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

1. Interpretable Network Synthesis via Localized Specifications;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

2. ConfigHub: A Network Configuration Sharing Platform;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04

3. RD-Probe: Scalable Monitoring With Sufficient Coverage In Complex Datacenter Networks;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

4. A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04

5. Relational Network Verification;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04