{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T19:24:17Z","timestamp":1784661857491,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,4]],"date-time":"2024-08-04T00:00:00Z","timestamp":1722729600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,8,4]]},"DOI":"10.1145\/3651890.3672266","type":"proceedings-article","created":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T13:11:43Z","timestamp":1722431503000},"page":"244-257","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Algorithms for In-Place, Consistent Network Update"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6379-2442","authenticated-orcid":false,"given":"Kedar S.","family":"Namjoshi","sequence":"first","affiliation":[{"name":"Nokia Bell Labs, Murray Hill, NJ, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9800-3618","authenticated-orcid":false,"given":"Sougol","family":"Gheissi","sequence":"additional","affiliation":[{"name":"Johns Hopkins University, Baltimore, MD, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6649-6696","authenticated-orcid":false,"given":"Krishan","family":"Sabnani","sequence":"additional","affiliation":[{"name":"Johns Hopkins University, Baltimore, MD, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,8,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Dave Thomas (Ed.)","author":"Ajmani Sameer","unstructured":"Sameer Ajmani, Barbara Liskov, and Liuba Shrira. 2006. Modular Software Upgrades for Distributed Systems, Dave Thomas (Ed.). Springer."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Mohammad Al-Fares Alexander Loukissas and Amin Vahdat. 2008. A Scalable Commodity Data Center Network Architecture (SIGCOMM).","DOI":"10.1145\/1402958.1402967"},{"key":"e_1_3_2_1_3_1","volume-title":"Hedera: dynamic flow scheduling for data center networks (NSDI'10)","author":"Al-Fares Mohammad","unstructured":"Mohammad Al-Fares, Sivasankar Radhakrishnan, Barath Raghavan, Nelson Huang, and Amin Vahdat. 2010. Hedera: dynamic flow scheduling for data center networks (NSDI'10). USENIX Association."},{"key":"e_1_3_2_1_4_1","volume-title":"Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms","author":"Babao\u011flu \u00d6zalp","unstructured":"\u00d6zalp Babao\u011flu and Keith Marzullo. 1993. Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. ACM Press\/Addison-Wesley Publishing Co."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Theophilus Benson Ashok Anand Aditya Akella and Ming Zhang. 2011. MicroTE: fine grained traffic engineering for data centers (CoNEXT '11).","DOI":"10.1145\/2079296.2079304"},{"key":"e_1_3_2_1_6_1","unstructured":"Pat Bosshart Dan Daly Glen Gibb Martin Izzard Nick McKeown Jennifer Rexford Cole Schlesinger Dan Talayco Amin Vahdat George Varghese and David Walker. 2014. P4: Programming Protocol-Independent Packet Processors. SIGCOMM Comput. Commun. Rev. (2014)."},{"key":"e_1_3_2_1_7_1","volume-title":"Optimal Consistent Network Updates in Polynomial Time (Lecture Notes in Computer Science)","author":"Cern\u00fd Pavol","unstructured":"Pavol Cern\u00fd, Nate Foster, Nilesh Jagnik, and Jedidiah McClurg. 2016. Optimal Consistent Network Updates in Polynomial Time (Lecture Notes in Computer Science). Springer."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"e_1_3_2_1_9_1","volume-title":"Precise Data Center Traffic Engineering with Constrained Hardware Resources. In 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)","author":"Chen Shawn Shuoshuo","year":"2024","unstructured":"Shawn Shuoshuo Chen, Keqiang He, Rui Wang, Srinivasan Seshan, and Peter Steenkiste. 2024. Precise Data Center Traffic Engineering with Constrained Hardware Resources. In 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)."},{"key":"e_1_3_2_1_10_1","unstructured":"P4 Language Consortium. 2023. P416 Language Specification. (2023). https:\/\/p4.org\/p4-spec\/docs\/P4-16-v1.0.0-spec.html Accessed: 2023-11-30."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Andrew R. Curtis Jeffrey C. Mogul Jean Tourrilhes Praveen Yalagandula Puneet Sharma and Sujata Banerjee. 2011. DevoFlow: scaling flow management for high-performance networks. SIGCOMM Comput. Commun. Rev. (2011).","DOI":"10.1145\/2018436.2018466"},{"key":"e_1_3_2_1_13_1","volume-title":"Can't Touch This: Consistent Network Updates for Multiple Policies","author":"Dudycz Szymon","unstructured":"Szymon Dudycz, Arne Ludwig, and Stefan Schmid. 2016. Can't Touch This: Consistent Network Updates for Multiple Policies. In DSN. IEEE Computer Society."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2876749"},{"key":"e_1_3_2_1_15_1","volume-title":"Networking","author":"F\u00f6rster Klaus-Tycho","unstructured":"Klaus-Tycho F\u00f6rster, Ratul Mahajan, and Roger Wattenhofer. 2016. Consistent updates in software defined networks: On dependencies, loop freedom, and blackholes. In Networking. IEEE Computer Society."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Chi-Yao Hong Srikanth Kandula Ratul Mahajan Ming Zhang Vijay Gill Mohan Nanduri and Roger Wattenhofer. 2013. Achieving High Utilization with Software-Driven WAN. SIGCOMM Comput. Commun. Rev. (2013).","DOI":"10.1145\/2486001.2486012"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230545"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626307"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491191"},{"key":"e_1_3_2_1_20_1","volume-title":"The Evolving Philosophers Problem: Dynamic Change Management","author":"Kramer Jeff","year":"1990","unstructured":"Jeff Kramer and Jeff Magee. 1990. The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. Software Eng. 11 (1990)."},{"key":"e_1_3_2_1_21_1","volume-title":"OneWAN is better than two: Unifying a split WAN architecture","author":"Krishnaswamy Umesh","unstructured":"Umesh Krishnaswamy, Rachee Singh, Paul Mattes, Paul-Andre C. Bissonnette, Nikolaj S. Bj\u00f8rner, Zahira Nasrin, Sonal Kothari, Prabhakar Reddy, John Abeln, Srikanth Kandula, Himanshu Raj, Luis Ir\u00fan-Briz, Jamie Gaudette, and Erica Lan. 2023. OneWAN is better than two: Unifying a split WAN architecture. In NSDI. USENIX Association."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_3_2_1_23_1","volume-title":"AllSynth: A BDD-based approach for network update synthesis. Science of Computer Programming","author":"Larsen Kim G","year":"2023","unstructured":"Kim G Larsen, Anders Mariegaard, Stefan Schmid, and Ji\u0159\u00ed Srba. 2023. AllSynth: A BDD-based approach for network update synthesis. Science of Computer Programming (2023)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3556542"},{"key":"e_1_3_2_1_25_1","volume-title":"Reduction: A Method of Proving Properties of Parallel Programs. Commun. ACM 18, 12","author":"Lipton Richard J.","year":"1975","unstructured":"Richard J. Lipton. 1975. Reduction: A Method of Proving Properties of Parallel Programs. Commun. ACM 18, 12 (1975)."},{"key":"e_1_3_2_1_26_1","volume-title":"Reiter","author":"Liu Sheng","year":"2019","unstructured":"Sheng Liu, Theophilus A. Benson, and Michael K. Reiter. 2019. Efficient and Safe Network Updates with Suffix Causal Consistency. In EuroSys. ACM."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Arne Ludwig Jan Marcinkowski and Stefan Schmid. 2015. Scheduling Loop-free Network Updates: It's Good to Relax!. In PODC. ACM.","DOI":"10.1145\/2767386.2767412"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Ratul Mahajan and Roger Wattenhofer. 2013. On consistent updates in software defined networks. In HotNets. ACM.","DOI":"10.1145\/2535771.2535791"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Jedidiah McClurg Hossein Hojjat Pavol Cern\u00fd and Nate Foster. 2015. Efficient synthesis of network updates. In PLDI. ACM.","DOI":"10.1145\/2737924.2737980"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342454"},{"key":"e_1_3_2_1_31_1","volume-title":"Abstractions for Network Update (SIGCOMM '12)","author":"Reitblatt Mark","year":"2012","unstructured":"Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, and David Walker. 2012. Abstractions for Network Update (SIGCOMM '12). Association for Computing Machinery."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Arjun Roy Hongyi Zeng Jasmeet Bagga George Porter and Alex C Snoeren. 2015. Inside the Social Network's (Datacenter) Network. In SIGCOMM.","DOI":"10.1145\/2785956.2787472"},{"key":"e_1_3_2_1_33_1","volume-title":"Measuring ISP topologies with Rocketfuel (SIGCOMM '02)","author":"Spring Neil","unstructured":"Neil Spring, Ratul Mahajan, and David Wetherall. 2002. Measuring ISP topologies with Rocketfuel (SIGCOMM '02). Association for Computing Machinery."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2016.7784460"},{"key":"e_1_3_2_1_35_1","volume-title":"FLIP the (Flow) table: Fast lightweight policy-preserving SDN updates","author":"Vissicchio Stefano","unstructured":"Stefano Vissicchio and Luca Cittadini. 2016. FLIP the (Flow) table: Fast lightweight policy-preserving SDN updates. In INFOCOM. IEEE."},{"key":"e_1_3_2_1_36_1","volume-title":"WCMP: weighted cost multipathing for improved fairness in data centers (EuroSys '14)","author":"Zhou Junlan","unstructured":"Junlan Zhou, Malveeka Tewari, Min Zhu, Abdul Kabbani, Leon Poutievski, Arjun Singh, and Amin Vahdat. 2014. WCMP: weighted cost multipathing for improved fairness in data centers (EuroSys '14). Association for Computing Machinery."},{"key":"e_1_3_2_1_37_1","volume-title":"Enforcing Customizable Consistency Properties in Software-Defined Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)","author":"Zhou Wenxuan","unstructured":"Wenxuan Zhou, Dong Jin, Jason Croft, Matthew Caesar, and P. Brighten Godfrey. 2015. Enforcing Customizable Consistency Properties in Software-Defined Networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). USENIX Association."}],"event":{"name":"ACM SIGCOMM '24: ACM SIGCOMM 2024 Conference","location":"Sydney NSW Australia","acronym":"ACM SIGCOMM '24","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2024 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3651890.3672266","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3651890.3672266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:13Z","timestamp":1750268953000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3651890.3672266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,4]]},"references-count":36,"alternative-id":["10.1145\/3651890.3672266","10.1145\/3651890"],"URL":"https:\/\/doi.org\/10.1145\/3651890.3672266","relation":{},"subject":[],"published":{"date-parts":[[2024,8,4]]},"assertion":[{"value":"2024-08-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}