{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T19:20:49Z","timestamp":1784661649633,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,29]],"date-time":"2023-06-29T00:00:00Z","timestamp":1687996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key R&D Program of China","award":["022YFB2901502"],"award-info":[{"award-number":["022YFB2901502"]}]},{"name":"NSF-Fujian-China","award":["2021J05003&2022J01004"],"award-info":[{"award-number":["2021J05003&2022J01004"]}]},{"name":"Future Network Innovation Research Award of Ministry of Education of China","award":["021FNA02008"],"award-info":[{"award-number":["021FNA02008"]}]},{"name":"Open Research Projects of Zhejiang Lab","award":["2022QA0AB05"],"award-info":[{"award-number":["2022QA0AB05"]}]},{"name":"NSFC Award","award":["62172345"],"award-info":[{"award-number":["62172345"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,29]]},"DOI":"10.1145\/3600061.3600065","type":"proceedings-article","created":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T03:40:40Z","timestamp":1693971640000},"page":"34-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Diagnosing Distributed Routing Configurations Using Sequential Program Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-1930-106X","authenticated-orcid":false,"given":"Rulan","family":"Yang","sequence":"first","affiliation":[{"name":"Xiamen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3034-3209","authenticated-orcid":false,"given":"Xing","family":"Fang","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9672-7938","authenticated-orcid":false,"given":"Lizhao","family":"You","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3394-6279","authenticated-orcid":false,"given":"Qiao","family":"Xiang","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6986-1739","authenticated-orcid":false,"given":"Hanyang","family":"Shao","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8683-9239","authenticated-orcid":false,"given":"gao","family":"han","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3237-1354","authenticated-orcid":false,"given":"Ziyi","family":"Wang","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8245-8346","authenticated-orcid":false,"given":"Zhihao","family":"Zhang","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7362-2789","authenticated-orcid":false,"given":"Jiwu","family":"Shu","sequence":"additional","affiliation":[{"name":"Xiamen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9266-3044","authenticated-orcid":false,"given":"Linghe","family":"Kong","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431304"},{"key":"e_1_3_2_1_2_1","volume-title":"Tiramisu: Fast Multilayer Network Verification. In NSDI\u201920. USENIX, 201\u2013219.","author":"Abhashkumar Anubhavnidhi","year":"2020","unstructured":"Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast Multilayer Network Verification. In NSDI\u201920. USENIX, 201\u2013219."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Ryan Beckett Aarti Gupta Ratul Mahajan and David Walker. 2017. A General Approach to Network Configuration Verification. In SIGCOMM\u201917. ACM 155\u2013168.","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Ryan Beckett Aarti Gupta Ratul Mahajan and David Walker. 2018. Control Plane Compression. In SIGCOMM\u201918. ACM 476\u2013489.","DOI":"10.1145\/3230543.3230583"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Ryan Beckett Aarti Gupta Ratul Mahajan and David Walker. 2019. Abstract Interpretation of Distributed Network Control Planes. In POPL\u201919. ACM 1\u201327.","DOI":"10.1145\/3371110"},{"key":"e_1_3_2_1_6_1","volume-title":"Data Center Diagnostics with Network Provenance","author":"Chen Ang","unstructured":"Ang Chen, Chen Chen, Lay\u00a0Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon\u00a0Thau Loo, and Wenchao Zhou. 2018. Data Center Diagnostics with Network Provenance.IEEE Data Engineering Bulletin 41, 1, 74\u201385."},{"key":"e_1_3_2_1_7_1","volume-title":"HotDep\u201909","author":"Chipounov Vitaly","unstructured":"Vitaly Chipounov, Vlad Georgescu, Cristian Zamfir, and George Candea. 2009. Selective Symbolic Execution. In HotDep\u201909. IEEE."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.2307\/2963594"},{"key":"e_1_3_2_1_9_1","unstructured":"Ahmed El-Hassany Petar Tsankov Laurent Vanbever and Martin Vechev. 2018. NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In NSDI\u201918 (Renton WA USA). USENIX 579\u2013594."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Evren Ermis Martin Sch\u00e4f and Thomas Wies. 2012. Error Invariants. In FM\u201912. FME 187\u2013201.","DOI":"10.1007\/978-3-642-32759-9_17"},{"key":"e_1_3_2_1_11_1","unstructured":"Seyed\u00a0K Fayaz Tushar Sharma Ari Fogel Ratul Mahajan Todd Millstein Vyas Sekar and George Varghese. 2016. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. In OSDI\u201916. USENIX 217\u2013232."},{"key":"e_1_3_2_1_12_1","unstructured":"Nick Feamster and Hari Balakrishnan. 2005. Detecting BGP Configuration Faults with Static Analysis. In NSDI\u201905. USENIX 43\u201356."},{"key":"e_1_3_2_1_13_1","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 NSDI\u201915. USENIX 469\u2013483."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Aaron Gember-Jacobson Aditya Akella Ratul Mahajan and Hongqiang\u00a0Harry Liu. 2017. Automatically Repairing Network Control Planes Using An Abstract Representation. In SOSP\u201917. ACM 359\u2013373.","DOI":"10.1145\/3132747.3132753"},{"key":"e_1_3_2_1_15_1","unstructured":"Aaron Gember-Jacobson Ruchit Shrestha and Xiaolin Sun. 2022. Localizing Router Configuration Errors Using Minimal Correction Sets. arXiv:2204.10785. Retrieved from https:\/\/arxiv.org\/abs\/2204.10785."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Aaron Gember-Jacobson Raajay Viswanathan Aditya Akella and Ratul Mahajan. 2016. Fast Control Plane Analysis Using an Abstract Representation. In SIGCOMM\u201916. ACM 300\u2013313.","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_1_17_1","volume-title":"CAV\u201919","author":"Giannarakis Nick","unstructured":"Nick Giannarakis, Ryan Beckett, Ratul Mahajan, and David Walker. 2019. Efficient Verification of Network Fault Tolerance Via Counterexample-guided Refinement. In CAV\u201919. Springer, 305\u2013323."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-015-9183-0"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132759"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"e_1_3_2_1_22_1","volume-title":"VMCAI\u201919","author":"Lopes P","unstructured":"Nuno\u00a0P Lopes and Andrey Rybalchenko. 2019. Fast Bgp Simulation of Large Datacenters. In VMCAI\u201919. Springer, 386\u2013408."},{"key":"e_1_3_2_1_23_1","volume-title":"VSTTE\u201914","author":"Murali Vijayaraghavan","unstructured":"Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, and Satish Chandra. 2014. What Gives? A Hybrid Algorithm for Error Trace Explanation. In VSTTE\u201914. Springer, 270\u2013286."},{"key":"e_1_3_2_1_24_1","volume-title":"Modeling the Routing of an Autonomous System with C-BGP","author":"Quoitin Bruno","unstructured":"Bruno Quoitin and Steve Uhlig. 2005. Modeling the Routing of an Autonomous System with C-BGP. IEEE network 19, 6, 12\u201319."},{"key":"e_1_3_2_1_25_1","volume-title":"Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, and George Varghese.","author":"Tang Alan","year":"2021","unstructured":"Alan Tang, Siva Kesava\u00a0Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, and George Varghese. 2021. Campion: Debugging Router Configuration Differences. In SIGCOMM\u201921. ACM, 748\u2013761."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"e_1_3_2_1_27_1","unstructured":"Yang Wu Ang Chen Andreas Haeberlen Wenchao Zhou and Boon\u00a0Thau Loo. 2017. Automated Bug Removal for Software-Defined Networks. In NSDI\u201917. USENIX 719\u2013733."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2626335"},{"key":"e_1_3_2_1_29_1","unstructured":"Fangdan Ye Da Yu Ennan Zhai Hongqiang\u00a0Harry Liu Bingchuan Tian Qiaobo Ye Chunsheng Wang Xin Wu Tianchen Guo Cheng Jin 2020. Accuracy Scalability Coverage: A Practical Configuration Verifier on a Global WAN. In SIGCOMM\u201920. ACM 599\u2013614."},{"key":"e_1_3_2_1_30_1","unstructured":"Peng Zhang Aaron Gember-Jacobson Yueshang Zuo Yuhao Huang Xu Liu and Hao Li. 2022. Differential Network Analysis. In NSDI\u201922. USENIX 601\u2013615."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Peng Zhang Dan Wang and Aaron Gember-Jacobson. 2022. Symbolic Router Execution. In SIGCOMM\u201922. ACM 336\u2013349.","DOI":"10.1145\/3544216.3544264"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Wenchao Zhou Micah Sherr Tao Tao Xiaozhou Li Boon\u00a0Thau Loo and Yun Mao. 2010. Efficient Querying and Maintenance of Network Provenance at Internet-scale. In SIGMOD\u201910. ACM 615\u2013626.","DOI":"10.1145\/1807167.1807234"}],"event":{"name":"APNET 2023: 7th Asia-Pacific Workshop on Networking","location":"Hong Kong China","acronym":"APNET 2023"},"container-title":["Proceedings of the 7th Asia-Pacific Workshop on Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600061.3600065","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3600061.3600065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:50Z","timestamp":1750178210000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3600061.3600065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,29]]},"references-count":32,"alternative-id":["10.1145\/3600061.3600065","10.1145\/3600061"],"URL":"https:\/\/doi.org\/10.1145\/3600061.3600065","relation":{},"subject":[],"published":{"date-parts":[[2023,6,29]]},"assertion":[{"value":"2023-09-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}