{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T21:35:12Z","timestamp":1773524112750,"version":"3.50.1"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T00:00:00Z","timestamp":1684281600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T00:00:00Z","timestamp":1684281600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,17]]},"DOI":"10.1109\/infocom53939.2023.10228930","type":"proceedings-article","created":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T17:40:43Z","timestamp":1693330843000},"page":"1-10","source":"Crossref","is-referenced-by-count":11,"title":["CURSOR: Configuration Update Synthesis Using Order Rules"],"prefix":"10.1109","author":[{"given":"Zibin","family":"Chen","sequence":"first","affiliation":[{"name":"University of Massachusetts,Department of Electrical and Computer Engineering,Amherst"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lixin","family":"Gao","sequence":"additional","affiliation":[{"name":"University of Massachusetts,Department of Electrical and Computer Engineering,Amherst"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.902686"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018473"},{"key":"ref12","first-page":"469","article-title":"A general approach to network configuration analysis","author":"fogel","year":"2015","journal-title":"Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6567025"},{"key":"ref15","author":"herrero","year":"2011","journal-title":"Network Mergers and Migrations"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2190767"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934874"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3784"},{"key":"ref11","author":"finkbeiner","year":"2019","journal-title":"Model checking data flows in concurrent network updates (full version)"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342088"},{"key":"ref10","first-page":"217","article-title":"Efficient network reachability analysis using a succinct control plane representation","author":"fayaz","year":"2016","journal-title":"Proceedings of the 12th USENIX conference on operating systems design and implementation"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472937"},{"key":"ref2","author":"greene","year":"2002","journal-title":"Cisco ISP Essentials"},{"key":"ref1","first-page":"201","article-title":"Tiramisu: Fast multilayer network verification","author":"abhashkumar","year":"2020","journal-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI20)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/90.993304"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934891"},{"key":"ref38","first-page":"601","article-title":"Differential network analysis","author":"zhang","year":"2022","journal-title":"19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)"},{"key":"ref19","first-page":"113","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)"},{"key":"ref18","first-page":"735","article-title":"Delta-net: Real-time network verification using atoms","author":"horn","year":"2017","journal-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)"},{"key":"ref24","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","author":"prabhu","year":"2020","journal-title":"Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation"},{"key":"ref23","author":"moy","year":"1998","journal-title":"OSPF Version 2 RFC 2328"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.17487\/rfc4271"},{"key":"ref25","first-page":"335","article-title":"Test-case reduction for c compiler bugs","author":"regehr","year":"2012","journal-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737980"},{"key":"ref21","author":"lerner","year":"1999","journal-title":"The cost of downtime"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2022.3176267"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472915"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM41043.2020.9155235"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2013.6733587"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2013.2255891"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2016.02.010"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref3","first-page":"617","article-title":"Katra: Realtime verification for multilayer networks","author":"beckett","year":"2022","journal-title":"19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)"},{"key":"ref6","article-title":"BGP Route Reflection: An Alternative to Full Mesh Internal BGP (IBGP)","author":"chen","year":"2006","journal-title":"RFC-4456"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524332"}],"event":{"name":"IEEE INFOCOM 2023 - IEEE Conference on Computer Communications","location":"New York City, NY, USA","start":{"date-parts":[[2023,5,17]]},"end":{"date-parts":[[2023,5,20]]}},"container-title":["IEEE INFOCOM 2023 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10228851\/10228852\/10228930.pdf?arnumber=10228930","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T17:44:45Z","timestamp":1695059085000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10228930\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,17]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/infocom53939.2023.10228930","relation":{},"subject":[],"published":{"date-parts":[[2023,5,17]]}}}