{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T00:27:45Z","timestamp":1723595265452},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T00:00:00Z","timestamp":1716163200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T00:00:00Z","timestamp":1716163200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,20]]},"DOI":"10.1109\/infocom52122.2024.10621109","type":"proceedings-article","created":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T17:25:41Z","timestamp":1723483541000},"page":"741-750","source":"Crossref","is-referenced-by-count":0,"title":["CloudPlanner: Minimizing Upgrade Risk of Virtual Network Devices for Large-Scale Cloud Networks"],"prefix":"10.1109","author":[{"given":"Xin","family":"He","sequence":"first","affiliation":[{"name":"Tsinghua University,Institute for Network Sciences and Cyberspace, BNRist,Beijing,China"}]},{"given":"Enhuan","family":"Dong","sequence":"additional","affiliation":[{"name":"Tsinghua University,Institute for Network Sciences and Cyberspace, BNRist,Beijing,China"}]},{"given":"Jiahai","family":"Yang","sequence":"additional","affiliation":[{"name":"Tsinghua University,Institute for Network Sciences and Cyberspace, BNRist,Beijing,China"}]},{"given":"Shize","family":"Zhang","sequence":"additional","affiliation":[{"name":"Alibaba Group,Hangzhou,China"}]},{"given":"Zhiliang","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University,Institute for Network Sciences and Cyberspace, BNRist,Beijing,China"}]},{"given":"Zejie","family":"Wang","sequence":"additional","affiliation":[{"name":"Alibaba Group,Hangzhou,China"}]},{"given":"Ye","family":"Yang","sequence":"additional","affiliation":[{"name":"Alibaba Group,Hangzhou,China"}]},{"given":"Jun","family":"Zhou","sequence":"additional","affiliation":[{"name":"Alibaba Group,Hangzhou,China"}]},{"given":"Xiaoqing","family":"Sun","sequence":"additional","affiliation":[{"name":"Alibaba Group,Hangzhou,China"}]},{"given":"Enge","family":"Song","sequence":"additional","affiliation":[{"name":"Alibaba Group,Hangzhou,China"}]},{"given":"Jianyuan","family":"Lu","sequence":"additional","affiliation":[{"name":"Alibaba Group,Hangzhou,China"}]},{"given":"Biao","family":"Lyu","sequence":"additional","affiliation":[{"name":"Alibaba Group,Hangzhou,China"}]},{"given":"Shunmin","family":"Zhu","sequence":"additional","affiliation":[{"name":"Tsinghua University,Institute for Network Sciences and Cyberspace, BNRist,Beijing,China"}]}],"member":"263","reference":[{"volume-title":"Advancing Safe Deployment Practices","year":"2020","author":"Russinovich","key":"ref1"},{"volume-title":"My CI\/CD Pipeline is My Release Captain","year":"2022","author":"Liguori","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2017.8117553"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2017.8117537"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472901"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934891"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359664"},{"key":"ref8","first-page":"635","article-title":"Change Management in Physical Network Lifecycle Automation","volume-title":"USENIX ATC","author":"Al-Fares"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330564"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2018.00087"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2018.2852744"},{"article-title":"Why Does the Cloud Stop Computing? Lessons from Hundreds of Service Outages","volume-title":"ACM SoCC","author":"Gunawi","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref15","article-title":"COIN-OR Cbc: COIN-OR branch and cut"},{"key":"ref16","article-title":"Scip: Solving constraint integer programs"},{"key":"ref17","article-title":"Chuffed: A lazy clause generation solver"},{"key":"ref18","article-title":"Google-OR: Fast and portable software for combinatorial optimization"},{"key":"ref19","article-title":"Minizinc is a free and open-source constraint modeling language"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535795"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3241539.3241558"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626307"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2626298"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544244"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934874"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342088"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2823400"},{"article-title":"Automated Verification of Network Function Binaries","volume-title":"USENIX NSDI","author":"Pirelli","key":"ref28"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3314148.3314358"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"}],"event":{"name":"IEEE INFOCOM 2024 - IEEE Conference on Computer Communications","start":{"date-parts":[[2024,5,20]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2024,5,23]]}},"container-title":["IEEE INFOCOM 2024 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10621050\/10621073\/10621109.pdf?arnumber=10621109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T05:43:56Z","timestamp":1723527836000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10621109\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,20]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/infocom52122.2024.10621109","relation":{},"subject":[],"published":{"date-parts":[[2024,5,20]]}}}