{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T15:44:52Z","timestamp":1782834292436,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,27]],"date-time":"2024-04-27T00:00:00Z","timestamp":1714176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the National Natural Science Foundation of China under Grants","award":["U23B2001"],"award-info":[{"award-number":["U23B2001"]}]},{"name":"the National Natural Science Foundation of China under Grants","award":["62201072"],"award-info":[{"award-number":["62201072"]}]},{"name":"the National Natural Science Foundation of China under Grants","award":["62101064"],"award-info":[{"award-number":["62101064"]}]},{"name":"the National Natural Science Foundation of China under Grants","award":["62171057"],"award-info":[{"award-number":["62171057"]}]},{"name":"the National Natural Science Foundation of China under Grants","award":["62001054"],"award-info":[{"award-number":["62001054"]}]},{"name":"the National Natural Science Foundation of China under Grants","award":["62071067"],"award-info":[{"award-number":["62071067"]}]},{"name":"the National Postdoctoral Program for Innovative Talents under Grant","award":["BX20230052"],"award-info":[{"award-number":["BX20230052"]}]},{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2023TQ0039"],"award-info":[{"award-number":["2023TQ0039"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]},{"name":"the Ministry of Education and China Mobile Joint Fund","award":["MCM20200202"],"award-info":[{"award-number":["MCM20200202"]}]},{"name":"the Ministry of Education and China Mobile Joint Fund","award":["MCM20180101"],"award-info":[{"award-number":["MCM20180101"]}]},{"name":"Beijing University of Posts and Telecommunications-China Mobile Research Institute Joint Innovation Center"},{"name":"Supported by BUPT Excellent Ph.D. Students Foundation under Grant","award":["CX2023132"],"award-info":[{"award-number":["CX2023132"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,27]]},"DOI":"10.1145\/3620666.3651365","type":"proceedings-article","created":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T12:08:21Z","timestamp":1713960501000},"page":"708-721","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["NetRen: Service Migration-Driven Network Renascence with Synthesizing Updated Configuration"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8662-2369","authenticated-orcid":false,"given":"Rongxin","family":"Han","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2182-2228","authenticated-orcid":false,"given":"Jingyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0829-4624","authenticated-orcid":false,"given":"Qi","family":"Qi","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3072-7422","authenticated-orcid":false,"given":"Haifeng","family":"Sun","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-6785-7647","authenticated-orcid":false,"given":"Chaowei","family":"Xu","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-7104-987X","authenticated-orcid":false,"given":"Zhaoyang","family":"Wan","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3345-1732","authenticated-orcid":false,"given":"Zirui","family":"Zhuang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4300-4445","authenticated-orcid":false,"given":"Yichuan","family":"Yu","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1486-0573","authenticated-orcid":false,"given":"Jianxin","family":"Liao","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3405671.3405816"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. ACM Program. Lang., 7(OOPSLA1):85--111","author":"Barke Shraddha","year":"2023","unstructured":"Shraddha Barke, Michael B. James, and Nadia Polikarpova. Grounded copilot: How programmers interact with code-generating models. Proc. ACM Program. Lang., 7(OOPSLA1):85--111, Apr 2023."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062367"},{"key":"e_1_3_2_1_5_1","volume-title":"NeurIPS","author":"Beurer-Kellner Luca","year":"2022","unstructured":"Luca Beurer-Kellner, Martin T. Vechev, Laurent Vanbever, and Petar Velickovic. Learning to configure computer networks with neural algorithmic reasoning. In NeurIPS, Louisiana, USA, Nov 2022."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2005.1541715"},{"key":"e_1_3_2_1_7_1","volume-title":"CAV","author":"Cai Shaowei","year":"2022","unstructured":"Shaowei Cai, Bohan Li, and Xindi Zhang. Local search for SMT on linear integer arithmetic. In Computer Aided Verification - 34th International Conference, CAV, Haifa, Israe, Aug 2022."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230546"},{"key":"e_1_3_2_1_9_1","volume-title":"IEEE\/IFIP Network Operations and Management Symposium, NOMS","author":"Cittadini Luca","year":"2010","unstructured":"Luca Cittadini, Stefano Vissicchio, and Giuseppe Di Battista. Doing don'ts: Modifying BGP attributes within an autonomous system. In IEEE\/IFIP Network Operations and Management Symposium, NOMS, Osaka, Japan, Apr 2010."},{"key":"e_1_3_2_1_10_1","volume-title":"14th International Conference, TACAS","author":"de Moura Leonardo Mendon\u00e7a","year":"2008","unstructured":"Leonardo Mendon\u00e7a de Moura and Nikolaj S. Bj\u00f8rner. Z3: an efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS, Budapest, Hungary, Mar 2008."},{"key":"e_1_3_2_1_11_1","volume-title":"CAV","author":"El-Hassany Ahmed","year":"2017","unstructured":"Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin T. Vechev. Network-wide configuration synthesis. In Computer Aided Verification - 29th International Conference, CAV, Heidelberg, Germany, Jul 2017."},{"key":"e_1_3_2_1_12_1","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation, NSDI","author":"El-Hassany Ahmed","year":"2018","unstructured":"Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin T. Vechev. Netcomplete: Practical network-wide configuration synthesis with autocompletion. In 15th USENIX Symposium on Networked Systems Design and Implementation, NSDI, Renton, WA, USA, Apr 2018."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/963985.963988"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005686.1005726"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2023.3269983"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2000.832225"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934891"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the ACM SIGCOMM 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications","author":"Timothy","year":"2005","unstructured":"Timothy G. Griffin and Jo\u00e3o L. Sobrinho. Metarouting. In Proceedings of the ACM SIGCOMM 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Philadelphia, Pennsylvania, USA, Aug 2005."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings Fifth International Conference on Computational Intelligence and Multimedia Applications. ICCIMA, Xi'an","author":"Haijun Zhou","year":"2003","unstructured":"Zhou Haijun, Pan Jin, and Shen Pubing. Cost adaptive OSPF. In Proceedings Fifth International Conference on Computational Intelligence and Multimedia Applications. ICCIMA, Xi'an, China, Oct 2003."},{"key":"e_1_3_2_1_20_1","volume-title":"ATIS","author":"Hammood Noor Hadi","year":"2021","unstructured":"Noor Hadi Hammood, Bahaa Al-Musawi, and Ahmed Hazim Alhilali. A survey of BGP anomaly detection using machine learning techniques. In Applications and Techniques in Information Security - 12th International Conference, ATIS, Virtual Event, Dec 2021."},{"key":"e_1_3_2_1_21_1","volume-title":"3rd International Conference on Learning Representations, ICLR","author":"Diederik","year":"2015","unstructured":"Diederik P. Kingma and Jimmy Ba. Adam: A method for stochastic optimization. In Yoshua Bengio and Yann LeCun, editors, 3rd International Conference on Learning Representations, ICLR, San Diego, CA, USA, May 2015."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM48880.2022.9796922"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485447.3512217"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486005"},{"key":"e_1_3_2_1_26_1","first-page":"1","volume":"2328","author":"Moy John","year":"1998","unstructured":"John Moy. OSPF version 2. RFC, 2328:1--244, 1998.","journal-title":"RFC"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-008-9108-y"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2003.1200112"},{"key":"e_1_3_2_1_29_1","volume-title":"20th USENIX Symposium on Networked Systems Design and Implementation, NSDI","author":"Ramanathan Sivaramakrishnan","year":"2023","unstructured":"Sivaramakrishnan Ramanathan, Ying Zhang, Mohab Gawish, Yogesh Mundada, Zhaodong Wang, Sangki Yun, Eric Lippert, Walid Taha, Minlan Yu, and Jelena Mirkovic. Practical intent-driven routing configuration synthesis. In 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI, Boston, MA, Apr 2023."},{"key":"e_1_3_2_1_30_1","first-page":"1","article-title":"A border gateway protocol 4 (BGP-4)","volume":"4271","author":"Rekhter Yakov","year":"2006","unstructured":"Yakov Rekhter, Tony Li, and Susan Hares. A border gateway protocol 4 (BGP-4). RFC, 4271:1--104, 2006.","journal-title":"RFC"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.3000405"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472915"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP55882.2022.9940325"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2005.4798297"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Samuel Steffen Timon Gehr Petar Tsankov Laurent Vanbever and Martin T. Vechev. Probabilistic verification of network configurations. In SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications technologies architectures and protocols for computer communication Virtual Event USA Aug 2020.","DOI":"10.1145\/3387514.3405900"},{"issue":"4","key":"e_1_3_2_1_36_1","first-page":"1999","article-title":"Using the OMNeT++ discrete event simulation system in education","volume":"42","author":"Varga A.","unstructured":"A. Varga. Using the OMNeT++ discrete event simulation system in education. IEEE Transactions on Education, 42(4):11 pp.--, Nov 1999.","journal-title":"IEEE Transactions on Education"},{"key":"e_1_3_2_1_37_1","first-page":"5998","volume-title":"Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Lukasz Kaiser, and Illia Polosukhin. Attention is all you need. In Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems, pages 5998--6008, Long Beach, CA, USA, Dec 2017."},{"key":"e_1_3_2_1_38_1","volume-title":"The Conference on Computer Communications, INFOCOM","author":"Vissicchio Stefano","year":"2012","unstructured":"Stefano Vissicchio, Luca Cittadini, Laurent Vanbever, and Olivier Bonaventure. iBGP deceptions: More sessions, fewer routes. In The Conference on Computer Communications, INFOCOM, Orlando, FL, Mar 2012."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2021.3126062"},{"key":"e_1_3_2_1_40_1","volume-title":"Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021","author":"Wu Zhanghao","year":"2021","unstructured":"Zhanghao Wu, Paras Jain, Matthew A. Wright, Azalia Mirhoseini, Joseph E. Gonzalez, and Ion Stoica. Representing long-range context for graph neural networks with global attention. In Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, virtual, Dec 2021."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2011.49"},{"key":"e_1_3_2_1_42_1","volume-title":"ChinaCom","author":"Yan Jiyun","year":"2016","unstructured":"Jiyun Yan, Zhenqiang Li, and Xiaohong Huang. Applications of genetic algorithms in BGP-based interdomain traffic engineering. In Communications and Networking - 11th EAI International Conference, ChinaCom, Chongqing, China, Sep 2016."}],"event":{"name":"ASPLOS '24: 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","location":"La Jolla CA USA","acronym":"ASPLOS '24","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620666.3651365","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:43Z","timestamp":1750291423000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620666.3651365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,27]]},"references-count":42,"alternative-id":["10.1145\/3620666.3651365","10.1145\/3620666"],"URL":"https:\/\/doi.org\/10.1145\/3620666.3651365","relation":{},"subject":[],"published":{"date-parts":[[2024,4,27]]},"assertion":[{"value":"2024-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}