{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T08:35:13Z","timestamp":1777106113316,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T00:00:00Z","timestamp":1628467200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1704336 and CNS-1901510"],"award-info":[{"award-number":["CNS-1704336 and CNS-1901510"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,9]]},"DOI":"10.1145\/3452296.3472925","type":"proceedings-article","created":{"date-parts":[[2021,8,9]],"date-time":"2021-08-09T18:13:15Z","timestamp":1628532795000},"page":"748-761","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Campion"],"prefix":"10.1145","author":[{"given":"Alan","family":"Tang","sequence":"first","affiliation":[{"name":"UCLA"}]},{"given":"Siva Kesava Reddy","family":"Kakarla","sequence":"additional","affiliation":[{"name":"UCLA"}]},{"given":"Ryan","family":"Beckett","sequence":"additional","affiliation":[{"name":"Microsoft Research"}]},{"given":"Ennan","family":"Zhai","sequence":"additional","affiliation":[{"name":"Alibaba Group"}]},{"given":"Matt","family":"Brown","sequence":"additional","affiliation":[{"name":"Intentionet, Inc."}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"UCLA \/ Intentionet"}]},{"given":"Yuval","family":"Tamir","sequence":"additional","affiliation":[{"name":"UCLA"}]},{"given":"George","family":"Varghese","sequence":"additional","affiliation":[{"name":"UCLA"}]}],"member":"320","published-online":{"date-parts":[[2021,8,9]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Tiramisu: Fast Multilayer Network Verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Abhashkumar Anubhavnidhi","year":"2020","unstructured":"Anubhavnidhi Abhashkumar , Aaron Gember-Jacobson , and Aditya Akella . 2020 . Tiramisu: Fast Multilayer Network Verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) . USENIX Association, Santa Clara, CA, 201--219. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/abhashkumar Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast Multilayer Network Verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 201--219. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/abhashkumar"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230583"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1558977.1559000"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644893.1644909"},{"key":"e_1_3_2_2_7_1","unstructured":"TODD Bishop. 2013. Xbox Live outage caused by network configuration problem. https:\/\/www.geekwire.com\/2013\/xbox-live-outage-caused-network-configuration-problem\/  TODD Bishop. 2013. Xbox Live outage caused by network configuration problem. https:\/\/www.geekwire.com\/2013\/xbox-live-outage-caused-network-configuration-problem\/"},{"key":"e_1_3_2_2_8_1","volume-title":"Hardware and Software: Verification and Testing","author":"Bj\u00f8rner Nikolaj","unstructured":"Nikolaj Bj\u00f8rner , Garvit Juniwal , Ratul Mahajan , Sanjit A. Seshia , and George Varghese . 2016. ddNF: An Efficient Data Structure for Header Spaces . In Hardware and Software: Verification and Testing , Roderick Bloem and Eli Arbel (Eds.). Springer International Publishing , Cham , 49--64. Nikolaj Bj\u00f8rner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, and George Varghese. 2016. ddNF: An Efficient Data Structure for Header Spaces. In Hardware and Software: Verification and Testing, Roderick Bloem and Eli Arbel (Eds.). Springer International Publishing, Cham, 49--64."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/3323234.3323290"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/3026877.3026895"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the 2Nd Conference on Symposium on Networked Systems Design & Implementation -","volume":"2","author":"Feamster Nick","year":"2005","unstructured":"Nick Feamster and Hari Balakrishnan . 2005 . Detecting BGP Configuration Faults with Static Analysis . In Proceedings of the 2Nd Conference on Symposium on Networked Systems Design & Implementation - Volume 2 (NSDI'05). USENIX Association, Berkeley, CA, USA, 43--56. http:\/\/dl.acm.org\/citation.cfm?id=1251203.1251207 Nick Feamster and Hari Balakrishnan. 2005. Detecting BGP Configuration Faults with Static Analysis. In Proceedings of the 2Nd Conference on Symposium on Networked Systems Design & Implementation - Volume 2 (NSDI'05). USENIX Association, Berkeley, CA, USA, 43--56. http:\/\/dl.acm.org\/citation.cfm?id=1251203.1251207"},{"key":"e_1_3_2_2_12_1","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)","author":"Fogel Ari","year":"2015","unstructured":"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) . USENIX Association, Oakland, CA, 469--483. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/fogel 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). USENIX Association, Oakland, CA, 469--483. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/fogel"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342094"},{"key":"e_1_3_2_2_16_1","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Reddy Kakarla Siva Kesava","year":"2020","unstructured":"Siva Kesava Reddy Kakarla , Alan Tang , Ryan Beckett , Karthick Jayaraman , Todd Millstein , Yuval Tamir , and George Varghese . 2020 . Finding Network Misconfigurations by Automatic Template Inference . In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) . USENIX Association, Santa Clara, CA, 999--1013. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/kakarla Siva Kesava Reddy Kakarla, Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd Millstein, Yuval Tamir, and George Varghese. 2020. Finding Network Misconfigurations by Automatic Template Inference. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 999--1013. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/kakarla"},{"key":"e_1_3_2_2_17_1","volume-title":"Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian , George Varghese , and Nick McKeown . 2012 . Header Space Analysis: Static Checking for Networks . In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation ( San Jose, CA) (NSDI'12). USENIX Association, Berkeley, CA, USA, 9--9. http:\/\/dl.acm.org\/citation.cfm?id=2228298.2228311 Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header Space Analysis: Static Checking for Networks. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (San Jose, CA) (NSDI'12). USENIX Association, Berkeley, CA, USA, 9--9. http:\/\/dl.acm.org\/citation.cfm?id=2228298.2228311"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"e_1_3_2_2_19_1","unstructured":"TOM Krazit. 2019. Networking issues take down Google Cloud in parts of the U.S. and Europe YouTube and Snapchat also affected. https:\/\/www.geekwire.com\/2019\/networking-issues-take-google-cloud-parts-u-s-europe-youtube-snapchat-also-affected\/  TOM Krazit. 2019. Networking issues take down Google Cloud in parts of the U.S. and Europe YouTube and Snapchat also affected. https:\/\/www.geekwire.com\/2019\/networking-issues-take-google-cloud-parts-u-s-europe-youtube-snapchat-also-affected\/"},{"key":"e_1_3_2_2_20_1","volume-title":"Checking Beliefs in Dynamic Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)","author":"Lopes Nuno P.","year":"2015","unstructured":"Nuno P. Lopes , Nikolaj Bj\u00f8rner , Patrice Godefroid , Karthick Jayaraman , and George Varghese . 2015 . Checking Beliefs in Dynamic Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15) . USENIX Association, Oakland, CA, 499--512. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/lopes Nuno P. Lopes, Nikolaj Bj\u00f8rner, Patrice Godefroid, Karthick Jayaraman, and George Varghese. 2015. Checking Beliefs in Dynamic Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). USENIX Association, Oakland, CA, 499--512. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/lopes"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924976.1924980"},{"key":"e_1_3_2_2_23_1","unstructured":"Networkworld. 2015. What was wrong with United's router? https:\/\/www.networkworld.com\/article\/2946070\/what-was-wrong-with-uniteds-router.html  Networkworld. 2015. What was wrong with United's router? https:\/\/www.networkworld.com\/article\/2946070\/what-was-wrong-with-uniteds-router.html"},{"key":"e_1_3_2_2_24_1","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Prabhu Santhosh","year":"2020","unstructured":"Santhosh Prabhu , Kuan Yen Chou , Ali Kheradmand , Brighten Godfrey , and Matthew Caesar . 2020 . Plankton: Scalable network configuration verification through model checking . In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) . USENIX Association, Santa Clara, CA, 953--967. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/prabhu Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar. 2020. Plankton: Scalable network configuration verification through model checking. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 953--967. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/prabhu"},{"key":"e_1_3_2_2_25_1","unstructured":"Steve Ragan. 2016. BGP errors are to blame for Monday's Twitter outage not DDoS attacks. https:\/\/www.csoonline.com\/article\/3138934\/bgp-errors-are-to-blame-for-monday-s-twitter-outage-not-ddos-attacks.html  Steve Ragan. 2016. BGP errors are to blame for Monday's Twitter outage not DDoS attacks. https:\/\/www.csoonline.com\/article\/3138934\/bgp-errors-are-to-blame-for-monday-s-twitter-outage-not-ddos-attacks.html"},{"key":"e_1_3_2_2_26_1","volume-title":"Engler","author":"Ramos David A.","year":"2011","unstructured":"David A. Ramos and Dawson R . Engler . 2011 . Practical, Low- Effort Equivalence Verification of Real Code. In Computer Aided Verification, Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 669--685. David A. Ramos and Dawson R. Engler. 2011. Practical, Low-Effort Equivalence Verification of Real Code. In Computer Aided Verification, Ganesh Gopalakrishnan and Shaz Qadeer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 669--685."},{"key":"e_1_3_2_2_27_1","unstructured":"STAN Schroeder. 2013. Facebook Suffers Sitewide Errors for Many Users. https:\/\/mashable.com\/2013\/10\/21\/facebook-currently-doesnt-allow-status-updates\/  STAN Schroeder. 2013. Facebook Suffers Sitewide Errors for Many Users. https:\/\/mashable.com\/2013\/10\/21\/facebook-currently-doesnt-allow-status-updates\/"},{"key":"e_1_3_2_2_28_1","unstructured":"Ruchit Shrestha Xiaolin Sun and Aaron Gember-Jacobson. 2020. Localizing Router Configuration Errors Using Unsatisfiable Cores. (2020).  Ruchit Shrestha Xiaolin Sun and Aaron Gember-Jacobson. 2020. Localizing Router Configuration Errors Using Unsatisfiable Cores. (2020)."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342088"},{"key":"e_1_3_2_2_30_1","unstructured":"DYLAN TWENEY. 2013. 5-minute outage costs Google 545 000 in revenue. https:\/\/venturebeat.com\/2013\/08\/16\/3-minute-outage-costs-google-545000-in-revenue\/  DYLAN TWENEY. 2013. 5-minute outage costs Google 545 000 in revenue. https:\/\/venturebeat.com\/2013\/08\/16\/3-minute-outage-costs-google-545000-in-revenue\/"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2984012"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"e_1_3_2_2_34_1","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Zhai Ennan","year":"2020","unstructured":"Ennan Zhai , Ang Chen , Ruzica Piskac , Mahesh Balakrishnan , Bingchuan Tian , Bo Song , and Haoliang Zhang . 2020 . Check before You Change: Preventing Correlated Failures in Service Updates . In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) . USENIX Association, Santa Clara, CA, 575--589. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/zhai Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, and Haoliang Zhang. 2020. Check before You Change: Preventing Correlated Failures in Service Updates. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). USENIX Association, Santa Clara, CA, 575--589. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/zhai"}],"event":{"name":"SIGCOMM '21: ACM SIGCOMM 2021 Conference","location":"Virtual Event USA","acronym":"SIGCOMM '21","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 2021 ACM SIGCOMM 2021 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452296.3472925","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452296.3472925","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452296.3472925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:40Z","timestamp":1750191460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452296.3472925"}},"subtitle":["debugging router configuration differences"],"short-title":[],"issued":{"date-parts":[[2021,8,9]]},"references-count":33,"alternative-id":["10.1145\/3452296.3472925","10.1145\/3452296"],"URL":"https:\/\/doi.org\/10.1145\/3452296.3472925","relation":{},"subject":[],"published":{"date-parts":[[2021,8,9]]},"assertion":[{"value":"2021-08-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}