{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,27]],"date-time":"2026-08-27T15:23:41Z","timestamp":1787844221636,"version":"build-2784847793"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","funder":[{"name":"ShanghaiTech University","award":["ShanghaiTech Startup Fund"],"award-info":[{"award-number":["ShanghaiTech Startup Fund"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,8,7]]},"DOI":"10.1145\/3735358.3737776","type":"proceedings-article","created":{"date-parts":[[2025,7,17]],"date-time":"2025-07-17T23:08:27Z","timestamp":1752793707000},"page":"316-317","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Interpretable Network Verification via Subspecifications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-0870-6822","authenticated-orcid":false,"given":"Yongzheng","family":"Zhang","sequence":"first","affiliation":[{"name":"ShanghaiTech University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8574-2120","authenticated-orcid":false,"given":"Haoxian","family":"Chen","sequence":"additional","affiliation":[{"name":"ShanghaiTech University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5675-247X","authenticated-orcid":false,"given":"Amirmohammad","family":"Nazari","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2879-0932","authenticated-orcid":false,"given":"Mukund","family":"Raghothaman","sequence":"additional","affiliation":[{"name":"University of Southern California, Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,8,6]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_3_2_3_2","first-page":"99","volume-title":"18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)","author":"Birkner R\u00fcdiger","year":"2021","unstructured":"R\u00fcdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, and Martin Vechev. 2021. Metha: Network verifiers need to be correct too!. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). 99\u2013113."},{"key":"e_1_3_3_2_4_2","first-page":"469","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). 469\u2013483."},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"Amirmohammad Nazari Yifei Huang Roopsha Samanta Arjun Radhakrishna and Mukund Raghothaman. 2023. Explainable Program Synthesis by Localizing Specifications. Proceedings of the ACM on Programming Languages 7 OOPSLA2 (2023) 2171\u20132195.","DOI":"10.1145\/3622874"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604842"}],"event":{"name":"APNET 2025: The 9th Asia-Pacific Workshop on Networking","location":"Shang Hai China","acronym":"APNET 2025"},"container-title":["Proceedings of the 9th Asia-Pacific Workshop on Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3735358.3737776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,22]],"date-time":"2025-07-22T05:12:37Z","timestamp":1753161157000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3735358.3737776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,6]]},"references-count":5,"alternative-id":["10.1145\/3735358.3737776","10.1145\/3735358"],"URL":"https:\/\/doi.org\/10.1145\/3735358.3737776","relation":{},"subject":[],"published":{"date-parts":[[2025,8,6]]},"assertion":[{"value":"2025-08-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}