{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T05:46:26Z","timestamp":1782798386291,"version":"3.54.5"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"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":[[2026,5,18]]},"DOI":"10.1109\/infocom59046.2026.11571428","type":"proceedings-article","created":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T19:38:15Z","timestamp":1782761895000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["CRONUS: Counterexample-Guided Constraint Learning for Network Update Synthesis"],"prefix":"10.1109","author":[{"given":"Jianshuo","family":"Xu","sequence":"first","affiliation":[{"name":"East China Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongtai","family":"Zhu","sequence":"additional","affiliation":[{"name":"East China Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jincheng","family":"Ding","sequence":"additional","affiliation":[{"name":"East China Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Runxuan","family":"Fang","sequence":"additional","affiliation":[{"name":"East China Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yechuan","family":"Xia","sequence":"additional","affiliation":[{"name":"East China Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haiqin","family":"Wu","sequence":"additional","affiliation":[{"name":"East China Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chengcheng","family":"Wan","sequence":"additional","affiliation":[{"name":"East China Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianwen","family":"Li","sequence":"additional","affiliation":[{"name":"East China Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[{"name":"East China Normal University,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2217506"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3229584.3229585"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934874"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934891"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1155\/2023\/6466996"},{"issue":"1","key":"ref6","first-page":"32","article-title":"Service Level Agreements for Communication Networks: A Survey","volume":"18","author":"Moghanjoughi","year":"2019","journal-title":"INFOCOMP"},{"key":"ref7","first-page":"185","article-title":"A simple way to estimate the cost of downtime","volume":"2","author":"Patterson","year":"2002","journal-title":"LISA"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737980"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472915"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM53939.2023.10228930"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-98668-0_9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26287-1_13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_11"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref16","first-page":"43","article-title":"Detecting bgp configuration faults with static analysis","volume-title":"Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation","volume":"2","author":"Feamster"},{"key":"ref17","article-title":"Yosys open synthesis suite","author":"Wolf"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2520468"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431304"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.52202\/068431-0053"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281432"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2019.8888144"},{"key":"ref24","first-page":"241","article-title":"{APKeep}: Realtime verification for real networks","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Zhang"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604843"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3610845"},{"key":"ref27","first-page":"979","article-title":"{EPVerifier}: Accelerating update storms verification with {Edge-Predicate}","volume-title":"21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)","author":"Zhao"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref29","first-page":"735","article-title":"Delta-net: Real-time network verification using atoms","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)","author":"Horn"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425936"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3371110"},{"key":"ref32","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Prabhu"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2021.3126572"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604842"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3591222"}],"event":{"name":"IEEE INFOCOM 2026 - IEEE Conference on Computer Communications","location":"Tokyo, Japan","start":{"date-parts":[[2026,5,18]]},"end":{"date-parts":[[2026,5,21]]}},"container-title":["IEEE INFOCOM 2026 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11571071\/11571169\/11571428.pdf?arnumber=11571428","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T05:36:30Z","timestamp":1782797790000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11571428\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,18]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/infocom59046.2026.11571428","relation":{},"subject":[],"published":{"date-parts":[[2026,5,18]]}}}