{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T00:43:44Z","timestamp":1760057024825,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","funder":[{"name":"NSF","award":["CNS-1900866 and CCF-1918187"],"award-info":[{"award-number":["CNS-1900866 and CCF-1918187"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1145\/3750022.3750463","type":"proceedings-article","created":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T13:46:39Z","timestamp":1755611199000},"page":"37-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["SafeMigration: Safe Large-scale Migration Planning via Symbolic Execution"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7890-9711","authenticated-orcid":false,"given":"Zibin","family":"Chen","sequence":"first","affiliation":[{"name":"Univ. of Massachusetts"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9017-5132","authenticated-orcid":false,"given":"Lixin","family":"Gao","sequence":"additional","affiliation":[{"name":"Univ. of Massachusetts"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2736-5694","authenticated-orcid":false,"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[{"name":"Meta"}]}],"member":"320","published-online":{"date-parts":[[2025,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM53939.2023.10228930"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_3_1","unstructured":"Jan Ant\u00f3n Bernal van der Ven Gonzalo G\u00f3mez Herrero. 2011. Network Mergers and Migrations."},{"key":"e_1_3_2_1_4_1","unstructured":"Hassel 2014. Hassel the header space library. https:\/\/bitbucket.org\/peymank\/hassel-public."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737980"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472915"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472915"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604855"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/964725.633039"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934874"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018473"},{"key":"e_1_3_2_1_15_1","volume-title":"Differential Network Analysis. In 19th USENIX Symposium on Networked Systems Design and Implementation (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 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22). USENIX Association, Renton, WA, 601--615. https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/zhang-peng"}],"event":{"name":"SIGCOMM '25: ACM SIGCOMM 2025 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Coimbra Portugal","acronym":"SIGCOMM '25"},"container-title":["Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3750022.3750463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T14:12:02Z","timestamp":1760019122000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3750022.3750463"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":15,"alternative-id":["10.1145\/3750022.3750463","10.1145\/3750022"],"URL":"https:\/\/doi.org\/10.1145\/3750022.3750463","relation":{},"subject":[],"published":{"date-parts":[[2025,9,8]]},"assertion":[{"value":"2025-09-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}