{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T15:44:51Z","timestamp":1782834291828,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1145\/3718958.3754343","type":"proceedings-article","created":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:54:11Z","timestamp":1756313651000},"page":"809-825","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["New Evolution of Hoyan: Enhancing Scalability, Usability, and Accuracy for Alibaba's Global WAN Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9089-580X","authenticated-orcid":false,"given":"Yifei","family":"Yuan","sequence":"first","affiliation":[{"name":"Alibaba Cloud, Bellevue, Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9031-2488","authenticated-orcid":false,"given":"Fangdan","family":"Ye","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4748-843X","authenticated-orcid":false,"given":"Yifan","family":"Li","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Beijing, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3473-463X","authenticated-orcid":false,"given":"Jingkai","family":"Zhang","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7027-4566","authenticated-orcid":false,"given":"Mengqi","family":"Liu","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Bellevue, Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5927-1847","authenticated-orcid":false,"given":"Yuyang","family":"Sang","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Bellevue, Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2101-0173","authenticated-orcid":false,"given":"Ruizhen","family":"Yang","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3556-8157","authenticated-orcid":false,"given":"Duncheng","family":"She","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8377-6535","authenticated-orcid":false,"given":"Zhiqing","family":"Ye","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6792-9592","authenticated-orcid":false,"given":"Tianchen","family":"Guo","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4741-679X","authenticated-orcid":false,"given":"Xiaobo","family":"Zhu","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8152-9071","authenticated-orcid":false,"given":"Xinji","family":"Tang","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4289-8023","authenticated-orcid":false,"given":"Li","family":"Jia","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-4384-3691","authenticated-orcid":false,"given":"Zhongyu","family":"Guan","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1086-3746","authenticated-orcid":false,"given":"Lingpeng","family":"Su","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6117-1612","authenticated-orcid":false,"given":"Ci","family":"Wang","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7275-923X","authenticated-orcid":false,"given":"Ruiyang","family":"Feng","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4055-5035","authenticated-orcid":false,"given":"Shuo","family":"Wu","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-4166-9230","authenticated-orcid":false,"given":"Zhonghui","family":"Xie","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7583-2505","authenticated-orcid":false,"given":"Cheng","family":"Jin","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3016-2370","authenticated-orcid":false,"given":"Peng","family":"Zhang","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5671-8431","authenticated-orcid":false,"given":"Qing","family":"Ma","sequence":"additional","affiliation":[{"name":"Alibaba Group, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2015-189X","authenticated-orcid":false,"given":"Xianlong","family":"Zeng","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7272-8143","authenticated-orcid":false,"given":"Dennis","family":"Cai","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Bellevue, Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4352-7497","authenticated-orcid":false,"given":"Ennan","family":"Zhai","sequence":"additional","affiliation":[{"name":"Alibaba Cloud, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,8,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Alibaba Cloud's Object Storage Service (OSS). https:\/\/www.alibabacloud.com\/en\/product\/object-storage-service.."},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. Understand Next Hop Set in iBGP Advertisements on Nexus NX-OS vs Cisco IOS. https:\/\/www.cisco.com\/c\/en\/us\/support\/docs\/ip\/border-gateway-protocol-bgp\/213402-understand-next-hop-set-in-ibgp-advertis.html.."},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. Understand Route Aggregation in BGP. https:\/\/www.cisco.com\/c\/en\/us\/support\/docs\/ip\/border-gateway-protocol-bgp\/5441-aggregation.html.."},{"key":"e_1_3_2_1_4_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\u2013219. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/abhashkumar"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"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\/3603269.3604866"},{"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","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)","author":"Chang Yiyang","year":"2017","unstructured":"Yiyang Chang, Sanjay Rao, and Mohit Tawarmalani. 2017. Robust Validation of Network Designs under Uncertain Demands and Failures. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). USENIX Association, Boston, MA, 347\u2013362. https:\/\/www.usenix.org\/conference\/nsdi17\/technical-sessions\/presentation\/chang"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","unstructured":"Beno\u00eet Claise. 2004. Cisco Systems NetFlow Services Export Version 9. RFC 3954. 10.17487\/RFC3954","DOI":"10.17487\/RFC3954"},{"key":"e_1_3_2_1_12_1","volume-title":"USENIX Conference on Networked Systems Design and Implementation.","author":"Dobrescu Mihai","year":"2014","unstructured":"Mihai Dobrescu and Katerina Argyraki. 2014. Software dataplane verification. In USENIX Conference on Networked Systems Design and Implementation."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/3026877.3026895"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC1157"},{"key":"e_1_3_2_1_15_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\u2013483. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/fogel"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_1_18_1","volume-title":"Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement","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 Computer Aided Verification, Isil Dillig and Serdar Tasiran (Eds.). Springer International Publishing, Cham, 305\u2013323."},{"key":"e_1_3_2_1_19_1","volume-title":"Delta-net: Real-time Network Verification Using Atoms. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)","author":"Horn Alex","year":"2017","unstructured":"Alex Horn, Ali Kheradmand, and Mukul Prasad. 2017. Delta-net: Real-time Network Verification Using Atoms. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). USENIX Association, Boston, MA, 735\u2013749. https:\/\/www.usenix.org\/conference\/nsdi17\/technical-sessions\/presentation\/horn-alex"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342094"},{"key":"e_1_3_2_1_21_1","unstructured":"Karthick Jayaraman Nikolaj Bj\u00f8rner Geoff Outhred and Charlie Kaufman. 2014. Automated Analysis and Debugging of Network Connectivity Policies. Technical Report MSR-TR-2014-102. Microsoft. https:\/\/www.microsoft.com\/en-us\/research\/publication\/automated-analysis-and-debugging-of-network-connectivity-policies\/"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405871"},{"key":"e_1_3_2_1_23_1","volume-title":"Header Space Analysis: Static Checking for Networks. In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12)","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header Space Analysis: Static Checking for Networks. In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12). USENIX Association, San Jose, CA, 113\u2013126. https:\/\/www.usenix.org\/conference\/nsdi12\/technical-sessions\/presentation\/kazemian"},{"key":"e_1_3_2_1_24_1","first-page":"15","article-title":"VeriFlow: Verifying Network-Wide Invariants in Real Time. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). USENIX Association","author":"Khurshid Ahmed","year":"2013","unstructured":"Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. 2013. VeriFlow: Verifying Network-Wide Invariants in Real Time. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). USENIX Association, Lombard, IL, 15\u201327. https:\/\/www.usenix.org\/conference\/nsdi13\/technical-sessions\/presentation\/khurshid","journal-title":"Lombard"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"J Leddy D Voyer S Matsushima and Z Li. 2021. Rfc 8986: Segment routing over ipv6 (srv6) network programming.","DOI":"10.17487\/RFC8986"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/3691825.3691884"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672246"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"Tony Li and Henk Smit. 2008. IS-IS Extensions for Traffic Engineering. RFC 5305. 10.17487\/RFC5305","DOI":"10.17487\/RFC5305"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3229584.3229585"},{"key":"e_1_3_2_1_30_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\u2013512. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/lopes"},{"key":"e_1_3_2_1_31_1","volume-title":"SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. arXiv preprint arXiv:2401.08807","author":"Ma Lezhi","year":"2024","unstructured":"Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, and Lei Bu. 2024. SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. arXiv preprint arXiv:2401.08807 (2024)."},{"key":"e_1_3_2_1_32_1","volume-title":"Differential testing for software. Digital Technical Journal","author":"McKeeman William M","year":"1998","unstructured":"William M McKeeman. 1998. Differential testing for software. Digital Technical Journal (1998)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103685"},{"key":"e_1_3_2_1_34_1","volume-title":"Composing Software Defined Networks. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI).","author":"Monsanto Christopher","year":"2013","unstructured":"Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, and David Walker. 2013. Composing Software Defined Networks. In 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC3176"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2015.209"},{"key":"e_1_3_2_1_37_1","volume-title":"Verifying Reachability in Networks with Mutable Datapaths. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)","author":"Panda Aurojit","year":"2017","unstructured":"Aurojit Panda, Ori Lahav, Katerina Argyraki, Mooly Sagiv, and Scott Shenker. 2017. Verifying Reachability in Networks with Mutable Datapaths. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). USENIX Association, Boston, MA, 699\u2013718. https:\/\/www.usenix.org\/conference\/nsdi17\/technical-sessions\/presentation\/panda-mutable-datapaths"},{"key":"e_1_3_2_1_38_1","volume-title":"Automated Verification of Network Function Binaries. In USENIX Symposium on Networked Systems Design and Implementation.","author":"Pirelli Solal","year":"2022","unstructured":"Solal Pirelli, Akvil\u0117 Valentukonyt\u0117, Katerina Argyraki, and George Candea. 2022. Automated Verification of Network Function Binaries. In USENIX Symposium on Networked Systems Design and Implementation."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2005.1541716"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","unstructured":"John Scudder Rex Fernando and Stephen Stuart. 2016. BGP Monitoring Protocol (BMP). RFC 7854. 10.17487\/RFC7854","DOI":"10.17487\/RFC7854"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405900"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385976"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604842"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342088"},{"key":"e_1_3_2_1_46_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, Marsha Chechik and Jean-Fran\u00e7ois Raskin (Eds.)","author":"Velner Yaron","unstructured":"Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, and Sharon Shoham. 2016. Some Complexity Results for Stateful Network Verification. In Tools and Algorithms for the Construction and Analysis of Systems, Marsha Chechik and Jean-Fran\u00e7ois Raskin (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 811\u2013830."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","unstructured":"Daniel Walton Alvaro Retana Enke Chen and John Scudder. 2016. Advertisement of Multiple Paths in BGP. RFC 7911. 10.17487\/RFC7911","DOI":"10.17487\/RFC7911"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2187924"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604843"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672238"},{"key":"e_1_3_2_1_51_1","volume-title":"USENIX Conference on Operating Systems Design and Implementation.","author":"Yaseen Nofel","year":"2020","unstructured":"Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, and Vincent Liu. 2020. Aragog: Scalable runtime verification of shardable networked systems. In USENIX Conference on Operating Systems Design and Implementation."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406217"},{"key":"e_1_3_2_1_53_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI).","author":"Yousefi Farnaz","year":"2020","unstructured":"Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani Khaledi, and Aditya Akella. 2020. Liveness verification of stateful network functions. In USENIX Symposium on Networked Systems Design and Implementation (NSDI)."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359647"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"Arseniy Zaostrovnykh Solal Pirelli Luis Pedrosa Katerina Argyraki and George Candea. 2017. A formally verified NAT. In ACM SIGCOMM (SIGCOMM).","DOI":"10.1145\/3098822.3098833"},{"key":"e_1_3_2_1_56_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\u2013589. https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/zhai"}],"event":{"name":"SIGCOMM '25: ACM SIGCOMM 2025 Conference","location":"S\u00e3o Francisco Convent Coimbra Portugal","acronym":"SIGCOMM '25","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2025 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3718958.3754343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:56:29Z","timestamp":1756313789000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3718958.3754343"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,27]]},"references-count":56,"alternative-id":["10.1145\/3718958.3754343","10.1145\/3718958"],"URL":"https:\/\/doi.org\/10.1145\/3718958.3754343","relation":{},"subject":[],"published":{"date-parts":[[2025,8,27]]},"assertion":[{"value":"2025-08-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}