{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T13:40:03Z","timestamp":1756215603276,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T00:00:00Z","timestamp":1722729600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,4]]},"DOI":"10.1145\/3672199.3673885","type":"proceedings-article","created":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T06:50:26Z","timestamp":1721717426000},"page":"33-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ConfigHub: A Network Configuration Sharing Platform"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-8683-9239","authenticated-orcid":false,"given":"Gao","family":"Han","sequence":"first","affiliation":[{"name":"Xiamen Key Laboratory of Intelligent Storage and Computing, Xiamen University"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6986-1739","authenticated-orcid":false,"given":"Hanyang","family":"Shao","sequence":"additional","affiliation":[{"name":"Xiamen Key Laboratory of Intelligent Storage and Computing, Xiamen University"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-0806-2947","authenticated-orcid":false,"given":"Ruiqin","family":"Duan","sequence":"additional","affiliation":[{"name":"Xiamen Key Laboratory of Intelligent Storage and Computing, Xiamen University"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8902-5969","authenticated-orcid":false,"given":"Changqi","family":"Zhuang","sequence":"additional","affiliation":[{"name":"Xiamen Key Laboratory of Intelligent Storage and Computing, Xiamen University"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3394-6279","authenticated-orcid":false,"given":"Qiao","family":"Xiang","sequence":"additional","affiliation":[{"name":"Xiamen Key Laboratory of Intelligent Storage and Computing, Xiamen University"}]}],"member":"320","published-online":{"date-parts":[[2024,8,4]]},"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'20","author":"Abhashkumar Anubhavnidhi","year":"2020","unstructured":"Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast Multilayer Network Verification. In NSDI'20. USENIX, 201--219."},{"key":"e_1_3_2_1_3_1","unstructured":"amazon-nov-2020 2020. Prolonged AWS Outage Takes Down a Big Chunk of the Internet. https:\/\/www.theverge.com\/2020\/11\/25\/21719396\/amazon-web-services-aws-outage-down-internet."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_5_1","volume-title":"Control Plane Compression. In SIGCOMM'18","author":"Beckett Ryan","year":"2018","unstructured":"Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. 2018. Control Plane Compression. In SIGCOMM'18. ACM, 476--489."},{"key":"e_1_3_2_1_6_1","volume-title":"Abstract Interpretation of Distributed Network Control Planes. In POPL'19","author":"Beckett Ryan","year":"2019","unstructured":"Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. 2019. Abstract Interpretation of Distributed Network Control Planes. In POPL'19. ACM, 1--27."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062367"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604866"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_14"},{"key":"e_1_3_2_1_11_1","volume-title":"NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In NSDI'18","author":"El-Hassany Ahmed","year":"2018","unstructured":"Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin Vechev. 2018. NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In NSDI'18 (Renton, WA, USA). USENIX, 579--594."},{"key":"e_1_3_2_1_12_1","unstructured":"facebook-2021 2020. Facebook Outage Triggered by BGP Configuration Issue as Services Fail for 6 Billion. https:\/\/thestack.technology\/major-facebook-outagebgp\/."},{"key":"e_1_3_2_1_13_1","volume-title":"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 NSDI'15. USENIX, 469--483."},{"key":"e_1_3_2_1_14_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_15_1","unstructured":"google-aug-2021 2021. Google Cloud Hit by Outage in New Melbourne Australia Region. https:\/\/www.datacenterdynamics.com\/en\/news\/google-cloud-hit-by-outage-in-new-melbourne-australia-region\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"e_1_3_2_1_17_1","volume-title":"Xiamen University","author":"SNGroup","year":"2021","unstructured":"SNGroup, Xiamen University. 2021. Netconan. https:\/\/github.com\/intentionet\/netconan."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472925"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2002.1181415"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"e_1_3_2_1_21_1","volume-title":"Differential Network Analysis. In NSDI'22","author":"Zhang Peng","year":"2022","unstructured":"Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li. 2022. Differential Network Analysis. In NSDI'22. USENIX, 601--615."}],"event":{"name":"ACM SIGCOMM '24: ACM SIGCOMM 2024 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Sydney NSW Australia","acronym":"ACM SIGCOMM '24"},"container-title":["Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672199.3673885","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3672199.3673885","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T13:21:56Z","timestamp":1756214516000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672199.3673885"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,4]]},"references-count":21,"alternative-id":["10.1145\/3672199.3673885","10.1145\/3672199"],"URL":"https:\/\/doi.org\/10.1145\/3672199.3673885","relation":{},"subject":[],"published":{"date-parts":[[2024,8,4]]},"assertion":[{"value":"2024-08-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}