{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T16:06:03Z","timestamp":1774454763299,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":79,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T00:00:00Z","timestamp":1638403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["647158"],"award-info":[{"award-number":["647158"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["316878574, 397973531"],"award-info":[{"award-number":["316878574, 397973531"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,12,2]]},"DOI":"10.1145\/3485983.3494845","type":"proceedings-article","created":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T22:36:56Z","timestamp":1638571016000},"page":"175-190","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["P4Update"],"prefix":"10.1145","author":[{"given":"Zikai","family":"Zhou","sequence":"first","affiliation":[{"name":"Technical University of Munich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mu","family":"He","sequence":"additional","affiliation":[{"name":"Technical University of Munich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Kellerer","sequence":"additional","affiliation":[{"name":"Technical University of Munich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Blenk","sequence":"additional","affiliation":[{"name":"Technical University of Munich and University of Vienna"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus-Tycho","family":"Foerster","sequence":"additional","affiliation":[{"name":"Technical University of Dortmund and University of Vienna"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,12,3]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2016. Internet2. https:\/\/www.internet2.edu\/.  2016. Internet2. https:\/\/www.internet2.edu\/."},{"key":"e_1_3_2_2_2_1","unstructured":"2021. numpy.random.exponential. https:\/\/numpy.org\/doc\/stable\/reference\/random\/generated\/numpy.random.exponential.html.  2021. numpy.random.exponential. https:\/\/numpy.org\/doc\/stable\/reference\/random\/generated\/numpy.random.exponential.html."},{"key":"e_1_3_2_2_3_1","first-page":"1","article-title":"Congestion-Free rerouting of flows on DAGs. In Proceedings of the International Colloquium on Automata, Languages, and Programming (ICALP) (LIPIcs, Vol. 107)","volume":"143","author":"Amiri Saeed Akhoondian","year":"2018","unstructured":"Saeed Akhoondian Amiri , Szymon Dudycz , Stefan Schmid , and Sebastian Wiederrecht . 2018 . Congestion-Free rerouting of flows on DAGs. In Proceedings of the International Colloquium on Automata, Languages, and Programming (ICALP) (LIPIcs, Vol. 107) . Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 143 : 1 -- 143 :13. Saeed Akhoondian Amiri, Szymon Dudycz, Stefan Schmid, and Sebastian Wiederrecht. 2018. Congestion-Free rerouting of flows on DAGs. In Proceedings of the International Colloquium on Automata, Languages, and Programming (ICALP) (LIPIcs, Vol. 107). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 143:1--143:13.","journal-title":"Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3211852.3211859"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-020-00672-z"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2018.2810640"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2016.09.012"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524332"},{"key":"e_1_3_2_2_10_1","volume-title":"Elad Michael Schiller, and Stefan Schmid","author":"Canini Marco","year":"2017","unstructured":"Marco Canini , Iosif Salem , Liron Schiff , Elad Michael Schiller, and Stefan Schmid . 2017 . A Self-Organizing Distributed and In-Band SDN Control Plane. In ICDCS. IEEE Computer Society , 2656--2657. Marco Canini, Iosif Salem, Liron Schiff, Elad Michael Schiller, and Stefan Schmid. 2017. A Self-Organizing Distributed and In-Band SDN Control Plane. In ICDCS. IEEE Computer Society, 2656--2657."},{"key":"e_1_3_2_2_11_1","volume-title":"DISC (Lecture Notes in Computer Science","volume":"128","author":"Cern\u00fd Pavol","year":"2016","unstructured":"Pavol Cern\u00fd , Nate Foster , Nilesh Jagnik , and Jedidiah McClurg . 2016 . Optimal Consistent Network Updates in Polynomial Time . In DISC (Lecture Notes in Computer Science , Vol. 9888). Springer, 114-- 128 . Pavol Cern\u00fd, Nate Foster, Nilesh Jagnik, and Jedidiah McClurg. 2016. Optimal Consistent Network Updates in Polynomial Time. In DISC (Lecture Notes in Computer Science, Vol. 9888). Springer, 114--128."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999585"},{"key":"e_1_3_2_2_13_1","unstructured":"The P4 Language Consortium. 2016. P4 behavioral-model. https:\/\/github.com\/p4lang\/behavioral-model\/.  The P4 Language Consortium. 2016. P4 behavioral-model. https:\/\/github.com\/p4lang\/behavioral-model\/."},{"key":"e_1_3_2_2_14_1","unstructured":"The P4 Language Consortium. 2020. P4_16 Language Specification version 1.2.1. https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.2.1.html.  The P4 Language Consortium. 2020. P4_16 Language Specification version 1.2.1. https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.2.1.html."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3232565.3232570"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491193"},{"key":"e_1_3_2_2_17_1","volume-title":"On the consistent migration of unsplittable flows: Upper and lower complexity bounds","author":"Foerster Klaus-Tycho","unstructured":"Klaus-Tycho Foerster . 2017. On the consistent migration of unsplittable flows: Upper and lower complexity bounds . In NCA. IEEE , 153--156. Klaus-Tycho Foerster. 2017. On the consistent migration of unsplittable flows: Upper and lower complexity bounds. In NCA. IEEE, 153--156."},{"key":"e_1_3_2_2_18_1","volume-title":"On the Consistent Migration of Splittable Flows: Latency-Awareness and Complexities","author":"Foerster Klaus-Tycho","unstructured":"Klaus-Tycho Foerster . 2018. On the Consistent Migration of Splittable Flows: Latency-Awareness and Complexities . In NCA. IEEE , 1--4. Klaus-Tycho Foerster. 2018. On the Consistent Migration of Splittable Flows: Latency-Awareness and Complexities. In NCA. IEEE, 1--4."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.11.018"},{"key":"e_1_3_2_2_20_1","volume-title":"Distributed Consistent Network Updates in SDNs: Local Verification for Global Guarantees","author":"Foerster Klaus-Tycho","unstructured":"Klaus-Tycho Foerster and Stefan Schmid . 2019. Distributed Consistent Network Updates in SDNs: Local Verification for Global Guarantees . In NCA. IEEE , 1--4. Klaus-Tycho Foerster and Stefan Schmid. 2019. Distributed Consistent Network Updates in SDNs: Local Verification for Global Guarantees. In NCA. IEEE, 1--4."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2876749"},{"key":"e_1_3_2_2_22_1","volume-title":"Easy Flow Migration","author":"Foerster Klaus-Tycho","unstructured":"Klaus-Tycho Foerster and Roger Wattenhofer . 2016. The Power of Two in Consistent Network Updates: Hard Loop Freedom , Easy Flow Migration . In ICCCN. IEEE , 1--9. Klaus-Tycho Foerster and Roger Wattenhofer. 2016. The Power of Two in Consistent Network Updates: Hard Loop Freedom, Easy Flow Migration. In ICCCN. IEEE, 1--9."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2778426"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/IFIPNetworking.2016.7497232"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.23919\/IFIPNetworking.2019.8816846"},{"key":"e_1_3_2_2_26_1","volume-title":"Catalyst: Unlocking the Power of Choice to Speed up Network Updates.","author":"Gandhi Rohan","year":"2017","unstructured":"Rohan Gandhi , Ori Rottenstreich , and Xin Jin . 2017 . Catalyst: Unlocking the Power of Choice to Speed up Network Updates. In CoNEXT. ACM , 276--282. Rohan Gandhi, Ori Rottenstreich, and Xin Jin. 2017. Catalyst: Unlocking the Power of Choice to Speed up Network Updates. In CoNEXT. ACM, 276--282."},{"key":"e_1_3_2_2_27_1","volume-title":"Computers and intractability","author":"Garey Michael R","unstructured":"Michael R Garey and David S Johnson . 1979. Computers and intractability . Vol. 174 . Freeman San Francisco . Michael R Garey and David S Johnson. 1979. Computers and intractability. Vol. 174. Freeman San Francisco."},{"key":"e_1_3_2_2_28_1","first-page":"1","article-title":"Locally checkable proofs in distributed computing","volume":"12","author":"G\u00f6\u00f6s Mika","year":"2016","unstructured":"Mika G\u00f6\u00f6s and Jukka Suomela . 2016 . Locally checkable proofs in distributed computing . Theory of Computing 12 , 1 (2016), 1 -- 33 . Mika G\u00f6\u00f6s and Jukka Suomela. 2016. Locally checkable proofs in distributed computing. Theory of Computing 12, 1 (2016), 1--33.","journal-title":"Theory of Computing"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230555"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999607"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185476"},{"key":"e_1_3_2_2_32_1","first-page":"1","article-title":"Measuring control plane latency in SDN-enabled switches","volume":"25","author":"He Keqiang","year":"2015","unstructured":"Keqiang He , Junaid Khalid , Aaron Gember-Jacobson , Sourav Das , Chaithan Prakash , Aditya Akella , Li Erran Li , and Marina Thottan . 2015 . Measuring control plane latency in SDN-enabled switches . In SOSR. ACM , 25 : 1 -- 25 :6. Keqiang He, Junaid Khalid, Aaron Gember-Jacobson, Sourav Das, Chaithan Prakash, Aditya Akella, Li Erran Li, and Marina Thottan. 2015. Measuring control plane latency in SDN-enabled switches. In SOSR. ACM, 25:1--25:6.","journal-title":"SOSR. ACM"},{"key":"e_1_3_2_2_33_1","volume-title":"Arsany Basta, Andreas Blenk, and Wolfgang Kellerer.","author":"He Mu","year":"2019","unstructured":"Mu He , Alberto Mart\u00ednez Alba , Arsany Basta, Andreas Blenk, and Wolfgang Kellerer. 2019 . Flexibility in softwarized networks: Classifications and research challenges. IEEE Communications Surveys & Tutorials ( 2019). Mu He, Alberto Mart\u00ednez Alba, Arsany Basta, Andreas Blenk, and Wolfgang Kellerer. 2019. Flexibility in softwarized networks: Classifications and research challenges. IEEE Communications Surveys & Tutorials (2019)."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341558.3342202"},{"key":"e_1_3_2_2_35_1","volume-title":"Proceedings of the 16th Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 161--176","author":"Holterbach Thomas","year":"2019","unstructured":"Thomas Holterbach , Edgar Costa Molero , Maria Apostolaki , Alberto Dainotti , Stefano Vissicchio , and Laurent Vanbever . 2019 . Blink: Fast connectivity recovery entirely in the data plane . In Proceedings of the 16th Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 161--176 . Thomas Holterbach, Edgar Costa Molero, Maria Apostolaki, Alberto Dainotti, Stefano Vissicchio, and Laurent Vanbever. 2019. Blink: Fast connectivity recovery entirely in the data plane. In Proceedings of the 16th Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 161--176."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230545"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486012"},{"key":"e_1_3_2_2_38_1","volume-title":"Snoeren","author":"Huang Danny Yuxing","year":"2013","unstructured":"Danny Yuxing Huang , Ken Yocum , and Alex C . Snoeren . 2013 . High-fidelity switch models for software-defined network emulation. In HotSDN. ACM , 43--48. Danny Yuxing Huang, Ken Yocum, and Alex C. Snoeren. 2013. High-fidelity switch models for software-defined network emulation. In HotSDN. ACM, 43--48."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"e_1_3_2_2_40_1","volume-title":"Proceedings of the 2011 23rd International Teletraffic Congress (ITC). IEEE, 1--7.","author":"Jarschel Michael","year":"2011","unstructured":"Michael Jarschel , Simon Oechsner , Daniel Schlosser , Rastin Pries , Sebastian Goll , and Phuoc Tran-Gia . 2011 . Modeling and performance evaluation of an OpenFlow architecture . In Proceedings of the 2011 23rd International Teletraffic Congress (ITC). IEEE, 1--7. Michael Jarschel, Simon Oechsner, Daniel Schlosser, Rastin Pries, Sebastian Goll, and Phuoc Tran-Gia. 2011. Modeling and performance evaluation of an OpenFlow architecture. In Proceedings of the 2011 23rd International Teletraffic Congress (ITC). IEEE, 1--7."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314148.3314356"},{"key":"e_1_3_2_2_42_1","volume-title":"Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, and Roger Wattenhofer.","author":"Jin Xin","year":"2014","unstructured":"Xin Jin , Hongqiang Harry Liu , Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, and Roger Wattenhofer. 2014 . Dynamic scheduling of network updates. In SIGCOMM. ACM , 539--550. Xin Jin, Hongqiang Harry Liu, Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, and Roger Wattenhofer. 2014. Dynamic scheduling of network updates. In SIGCOMM. ACM, 539--550."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.2307\/2369492"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"crossref","unstructured":"Patrick Kalmbach Johannes Zerwas P\u00e9ter Babarczi Andreas Blenk Wolfgang Kellerer and Stefan Schmid. 2018. Empowering Self-Driving Networks. In SelfDN@SIGCOMM. ACM 8--14.  Patrick Kalmbach Johannes Zerwas P\u00e9ter Babarczi Andreas Blenk Wolfgang Kellerer and Stefan Schmid. 2018. Empowering Self-Driving Networks. In SelfDN@SIGCOMM. ACM 8--14.","DOI":"10.1145\/3229584.3229587"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314148.3314353"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890968"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2019.2895553"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-010-0095-3"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15509-8_26"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342443"},{"key":"e_1_3_2_2_52_1","volume-title":"Proceedings of the 10th Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 113--126","author":"Liu Junda","year":"2013","unstructured":"Junda Liu , Aurojit Panda , Ankit Singla , Brighten Godfrey , Michael Schapira , and Scott Shenker . 2013 . Ensuring connectivity via data plane mechanisms . In Proceedings of the 10th Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 113--126 . Junda Liu, Aurojit Panda, Ankit Singla, Brighten Godfrey, Michael Schapira, and Scott Shenker. 2013. Ensuring connectivity via data plane mechanisms. In Proceedings of the 10th Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 113--126."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303965"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934906"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2964791.2901476"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2018.2871023"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535791"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2016.2608441"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3286062.3286080"},{"key":"e_1_3_2_2_60_1","unstructured":"Netronome. 2017. Netronome SmartNIC. https:\/\/www.netronome.com\/products\/smartnic\/overview\/.  Netronome. 2017. Netronome SmartNIC. https:\/\/www.netronome.com\/products\/smartnic\/overview\/."},{"key":"e_1_3_2_2_61_1","volume-title":"TOFINO: World's fastest P4-programmable Ethernet switch ASICs. https:\/\/www.barefootnetworks.com\/products\/brief-tofino\/.","author":"Networks Barefoot","year":"2016","unstructured":"Barefoot Networks . 2016 . TOFINO: World's fastest P4-programmable Ethernet switch ASICs. https:\/\/www.barefootnetworks.com\/products\/brief-tofino\/. Barefoot Networks. 2016. TOFINO: World's fastest P4-programmable Ethernet switch ASICs. https:\/\/www.barefootnetworks.com\/products\/brief-tofino\/."},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281421"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3050224"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070569"},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1096536.1096551"},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491198"},{"key":"e_1_3_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3229574.3229580"},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2999653"},{"key":"e_1_3_2_2_70_1","volume-title":"Zsolt V\u00e1gi, Lily H\u00fcgerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, and Anja Feldmann.","author":"Shukla Apoorv","year":"2021","unstructured":"Apoorv Shukla , Kevin Nico Hudemann , Zsolt V\u00e1gi, Lily H\u00fcgerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, and Anja Feldmann. 2021 . Fix with P6: Verifying Programmable Switches at Runtime. In INFOCOM. IEEE , 1--10. Apoorv Shukla, Kevin Nico Hudemann, Zsolt V\u00e1gi, Lily H\u00fcgerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid, and Anja Feldmann. 2021. Fix with P6: Verifying Programmable Switches at Runtime. In INFOCOM. IEEE, 1--10."},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2019.2955790"},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3063772"},{"key":"e_1_3_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787497"},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPSR.2018.8850752"},{"key":"e_1_3_2_2_75_1","volume-title":"In-Band Update for Network Routing Policy Migration","author":"Zhang Shuyuan","unstructured":"Shuyuan Zhang , Sharad Malik , Sanjai Narain , and Laurent Vanbever . 2014. In-Band Update for Network Routing Policy Migration . In ICNP. IEEE Computer Society , 356--361. Shuyuan Zhang, Sharad Malik, Sanjai Narain, and Laurent Vanbever. 2014. In-Band Update for Network Routing Policy Migration. In ICNP. IEEE Computer Society, 356--361."},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2019.2906741"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281411.3281436"},{"key":"e_1_3_2_2_78_1","volume-title":"Proceedings of the 12th Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 73--85","author":"Zhou Wenxuan","year":"2015","unstructured":"Wenxuan Zhou , Dong Jin , Jason Croft , Matthew Caesar , and P Brighten Godfrey . 2015 . Enforcing customizable consistency properties in Software-Defined Networks . In Proceedings of the 12th Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 73--85 . Wenxuan Zhou, Dong Jin, Jason Croft, Matthew Caesar, and P Brighten Godfrey. 2015. Enforcing customizable consistency properties in Software-Defined Networks. In Proceedings of the 12th Symposium on Networked Systems Design and Implementation (NSDI). USENIX Association, 73--85."},{"key":"e_1_3_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2014.61"}],"event":{"name":"CoNEXT '21: The 17th International Conference on emerging Networking EXperiments and Technologies","location":"Virtual Event Germany","acronym":"CoNEXT '21","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485983.3494845","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3485983.3494845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:31Z","timestamp":1750191151000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3485983.3494845"}},"subtitle":["fast and locally verifiable consistent network updates in the P4 data plane"],"short-title":[],"issued":{"date-parts":[[2021,12,2]]},"references-count":79,"alternative-id":["10.1145\/3485983.3494845","10.1145\/3485983"],"URL":"https:\/\/doi.org\/10.1145\/3485983.3494845","relation":{},"subject":[],"published":{"date-parts":[[2021,12,2]]},"assertion":[{"value":"2021-12-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}