A General Approach to Network Configuration Analysis

By Ari Fogel, S. Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd D. Millstein. Symposium on Networked Systems Design and Implementation, 2015

390 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/93badd5d3a0e4b885ad00ba0ca7f3cac360b487b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Lihua Yuan
2. David A. Maltz
3. Nanxi Kang
4. Albert G. Greenberg
5. Haitao Zheng
6. Yibo Zhu
7. Guohan Lu
8. Ming Zhang

Citations in the corpus

• A General Approach to Network Configuration Verification (2017, methodology): “Bat sh [13] introduced a property called multipath consistency, which ensures that tra c along all paths from a source is treated the same.”
• Packet-Level Telemetry in Large Datacenter Networks (2015, background): “Several works [9, 10, 22, 23] detect network faults by checking routing configuration and policy.”
• Large Language Model (LLM) for Telecommunications: A Comprehensive Survey on Principles, Key Techniques, and Opportunities (2024, methodology): “VPP combines GPT-4 with verifiers like Batfish [120], which check configurations for syntax errors and semantic differences.”