{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:19:01Z","timestamp":1771697941540,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T00:00:00Z","timestamp":1574208000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1749785"],"award-info":[{"award-number":["CNS-1749785"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,11,20]]},"DOI":"10.1145\/3357223.3362712","type":"proceedings-article","created":{"date-parts":[[2019,11,11]],"date-time":"2019-11-11T18:15:00Z","timestamp":1573496100000},"page":"351-363","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Composing SDN Controller Enhancements with Mozart"],"prefix":"10.1145","author":[{"given":"Zhenyu","family":"Zhou","sequence":"first","affiliation":[{"name":"Duke University"}]},{"given":"Theophilus A.","family":"Benson","sequence":"additional","affiliation":[{"name":"Brown University"}]}],"member":"320","published-online":{"date-parts":[[2019,11,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. Ryu SDN Framework. https:\/\/osrg.github.io\/ryu\/.  2017. Ryu SDN Framework. https:\/\/osrg.github.io\/ryu\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2019. Project Floodlight. http:\/\/www.projectfloodlight.org\/.  2019. Project Floodlight. http:\/\/www.projectfloodlight.org\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Mohammad Al-Fares Alexander Loukissas and Amin Vahdat. 2008. A Scalable Commodity Data Center Network Architecture. In SIGCOMM.  Mohammad Al-Fares Alexander Loukissas and Amin Vahdat. 2008. A Scalable Commodity Data Center Network Architecture. In SIGCOMM.","DOI":"10.1145\/1402958.1402967"},{"key":"e_1_3_2_1_4_1","volume-title":"Hedera: Dynamic Flow Scheduling for Data Center Networks. In NSDI.","author":"Al-Fares Mohammad","year":"2010"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Alvin AuYoung Yadi Ma Sujata Banerjee Jeongkeun Lee Puneet Sharma Yoshio Turner Chen Liang and Jeffrey C Mogul. 2014. Democratic Resolution of Resource Conflicts Between SDN Control Programs. In CoNext.  Alvin AuYoung Yadi Ma Sujata Banerjee Jeongkeun Lee Puneet Sharma Yoshio Turner Chen Liang and Jeffrey C Mogul. 2014. Democratic Resolution of Resource Conflicts Between SDN Control Programs. In CoNext.","DOI":"10.1145\/2674005.2674992"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009828"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Theophilus Benson Aditya Akella and David A. Maltz. 2010. Network Traffic Characteristics of Data Centers in the Wild. In IMC.  Theophilus Benson Aditya Akella and David A. Maltz. 2010. Network Traffic Characteristics of Data Centers in the Wild. In IMC.","DOI":"10.1145\/1879141.1879175"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Theophilus Benson Aditya Akella Anees Shaikh and Sambit Sahu. 2011. Cloud-NaaS: A Cloud Networking Platform for Enterprise Applications. In SoCC.  Theophilus Benson Aditya Akella Anees Shaikh and Sambit Sahu. 2011. Cloud-NaaS: A Cloud Networking Platform for Enterprise Applications. In SoCC.","DOI":"10.1145\/2038916.2038924"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Theophilus Benson Ashok Anand Aditya Akella and Ming Zhang. 2011. MicroTE: Fine Grained Traffic Engineering for Data Centers. In CoNEXT.  Theophilus Benson Ashok Anand Aditya Akella and Ming Zhang. 2011. MicroTE: Fine Grained Traffic Engineering for Data Centers. In CoNEXT.","DOI":"10.1145\/2079296.2079304"},{"key":"e_1_3_2_1_10_1","unstructured":"Marco Canini Daniele De Cicco Petr Kuznetsov Dan Levin Stefan Schmid and Stefano Vissicchio. 2014. STN: A Robust and Distributed SDN Control Plane. In ONS.  Marco Canini Daniele De Cicco Petr Kuznetsov Dan Levin Stefan Schmid and Stefano Vissicchio. 2014. STN: A Robust and Distributed SDN Control Plane. In ONS."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342459"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Balakrishnan Chandrasekaran and Theophilus Benson. 2014. Tolerating SDN Application Failures with LegoSDN. In HotNets.  Balakrishnan Chandrasekaran and Theophilus Benson. 2014. Tolerating SDN Application Failures with LegoSDN. In HotNets.","DOI":"10.1145\/2620728.2620781"},{"key":"e_1_3_2_1_13_1","unstructured":"Michael Dalton David Schultz Jacob Adriaens Ahsan Arefin Anshuman Gupta Brian Fahs Dima Rubinstein Enrique Cauich Zermeno Erik Rubow James Alexander Docauer et al. 2018. Andromeda: Performance Isolation and Velocity at Scale in Cloud Network Virtualization. In NSDI.  Michael Dalton David Schultz Jacob Adriaens Ahsan Arefin Anshuman Gupta Brian Fahs Dima Rubinstein Enrique Cauich Zermeno Erik Rubow James Alexander Docauer et al. 2018. Andromeda: Performance Isolation and Velocity at Scale in Cloud Network Virtualization. In NSDI."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486003"},{"key":"e_1_3_2_1_15_1","volume-title":"VFP: A Virtual Switch Platform for Host SDN in the Public Cloud. In NSDI.","author":"Firestone Daniel","year":"2017"},{"key":"e_1_3_2_1_16_1","unstructured":"Daniel Firestone Andrew Putnam Sambhrama Mundkur Derek Chiou Alireza Dabagh Mike Andrewartha Hari Angepat Vivek Bhanu Adrian Caulfield Eric Chung etal 2018. Azure Accelerated Networking: SmartNICs in the Public Cloud. In NSDI.  Daniel Firestone Andrew Putnam Sambhrama Mundkur Derek Chiou Alireza Dabagh Mike Andrewartha Hari Angepat Vivek Bhanu Adrian Caulfield Eric Chung et al. 2018. Azure Accelerated Networking: SmartNICs in the Public Cloud. In NSDI."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Victor Heorhiadi Sanjay Chandrasekaran Michael K Reiter and Vyas Sekar. 2018. Intent-Driven Composition of Resource-Management SDN Applications. In CoNEXT.  Victor Heorhiadi Sanjay Chandrasekaran Michael K Reiter and Vyas Sekar. 2018. Intent-Driven Composition of Resource-Management SDN Applications. In CoNEXT.","DOI":"10.1145\/3281411.3281431"},{"key":"e_1_3_2_1_18_1","unstructured":"Victor Heorhiadi Michael K. Reiter and Vyas Sekar. 2016. Simplifying Software-Defined Network Optimization Using SOL. In NSDI.  Victor Heorhiadi Michael K. Reiter and Vyas Sekar. 2016. Simplifying Software-Defined Network Optimization Using SOL. In NSDI."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1859995.1860005"},{"key":"e_1_3_2_1_20_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. In SIGCOMM.  Chi-Yao Hong Srikanth Kandula Ratul Mahajan Ming Zhang Vijay Gill Mohan Nanduri and Roger Wattenhofer. 2013. Achieving High Utilization with Software-Driven WAN. In SIGCOMM.","DOI":"10.1145\/2486001.2486012"},{"key":"e_1_3_2_1_21_1","article-title":"The X-Kernel: An Architecture for Implementing Network Protocols. Software Engineering","author":"Hutchinson Norman C","year":"1991","journal-title":"IEEE Transactions on."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Sushant Jain Alok Kumar Subhasree Mandal Joon Ong Leon Poutievski Arjun Singh Subbaiah Venkata Jim Wanderer Junlan Zhou Min Zhu Jon Zolla Urs H\u00f6lzle Stephen Stuart and Amin Vahdat. 2013. B4: Experience with A Globally-Deployed Software Defined WAN. In SIGCOMM.  Sushant Jain Alok Kumar Subhasree Mandal Joon Ong Leon Poutievski Arjun Singh Subbaiah Venkata Jim Wanderer Junlan Zhou Min Zhu Jon Zolla Urs H\u00f6lzle Stephen Stuart and Amin Vahdat. 2013. B4: Experience with A Globally-Deployed Software Defined WAN. In SIGCOMM.","DOI":"10.1145\/2486001.2486019"},{"key":"e_1_3_2_1_23_1","unstructured":"Xin Jin Jennifer Gossels Jennifer Rexford and David Walker. 2015. CoVisor: A Compositional Hypervisor for Software-Defined Networks. In NSDI.  Xin Jin Jennifer Gossels Jennifer Rexford and David Walker. 2015. CoVisor: A Compositional Hypervisor for Software-Defined Networks. In NSDI."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Nanxi Kang Monia Ghobadi John Reumann Alexander Shraer and Jennifer Rexford. 2015. Efficient Traffic Splitting on Commodity Switches. In CoNEXT.  Nanxi Kang Monia Ghobadi John Reumann Alexander Shraer and Jennifer Rexford. 2015. Efficient Traffic Splitting on Commodity Switches. In CoNEXT.","DOI":"10.1145\/2716281.2836091"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Nanxi Kang Zhenming Liu Jennifer Rexford and David Walker. 2013. Optimizing the \"One Big Switch\" Abstraction in Software-Defined Networks. In CoNEXT.  Nanxi Kang Zhenming Liu Jennifer Rexford and David Walker. 2013. Optimizing the \"One Big Switch\" Abstraction in Software-Defined Networks. In CoNEXT.","DOI":"10.1145\/2535372.2535373"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Thomas Karagiannis Richard Mortier and Antony Rowstron. 2008. Network Exception Handlers: Host-network Control in Enterprise Networks. In SIGCOMM.  Thomas Karagiannis Richard Mortier and Antony Rowstron. 2008. Network Exception Handlers: Host-network Control in Enterprise Networks. In SIGCOMM.","DOI":"10.1145\/1402958.1402973"},{"key":"e_1_3_2_1_27_1","unstructured":"Peyman Kazemian Michael Chang Hongyi Zeng George Varghese Nick McKeown and Scott Whyte. 2013. Real Time Network Policy Checking Using Header Space Analysis. In NSDI.  Peyman Kazemian Michael Chang Hongyi Zeng George Varghese Nick McKeown and Scott Whyte. 2013. Real Time Network Policy Checking Using Header Space Analysis. In NSDI."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Ahmed Khurshid Xuan Zou Wenxuan Zhou Matthew Caesar and P. Brighten Godfrey. 2013. VeriFlow: Verifying Network-wide Invariants in Real Time. In NSDI.  Ahmed Khurshid Xuan Zou Wenxuan Zhou Matthew Caesar and P. Brighten Godfrey. 2013. VeriFlow: Verifying Network-wide Invariants in Real Time. In NSDI.","DOI":"10.1145\/2342441.2342452"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Eddie Kohler Robert Morris Benjie Chen John Jannotti and M Frans Kaashoek. 2000. The Click Modular Router. In ACM Transactions on Computer Systems (TOCS).  Eddie Kohler Robert Morris Benjie Chen John Jannotti and M Frans Kaashoek. 2000. The Click Modular Router. In ACM Transactions on Computer Systems (TOCS).","DOI":"10.1145\/354871.354874"},{"key":"e_1_3_2_1_30_1","unstructured":"Teemu Koponen Keith Amidon Peter Balland Mart\u00edn Casado Anupam Chanda Bryan Fulton Igor Ganichev Jesse Gross Natasha Gude Paul Ingram etal 2014. Network Virtualization in Multi-Tenant Datacenters. In NSDI.  Teemu Koponen Keith Amidon Peter Balland Mart\u00edn Casado Anupam Chanda Bryan Fulton Igor Ganichev Jesse Gross Natasha Gude Paul Ingram et al. 2014. Network Virtualization in Multi-Tenant Datacenters. In NSDI."},{"key":"e_1_3_2_1_31_1","volume-title":"Onix: A Distributed Control Platform for Large-Scale Production Networks. In OSDI.","author":"Koponen Teemu","year":"2010"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Bob Lantz Brandon Heller and Nick McKeown. 2010. A Network in A Laptop: Rapid Prototyping for Software-Defined Networks. In HotNets.  Bob Lantz Brandon Heller and Nick McKeown. 2010. A Network in A Laptop: Rapid Prototyping for Software-Defined Networks. In HotNets.","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_3_2_1_33_1","unstructured":"Hongqiang Harry Liu Xin Wu Ming Zhang Lihua Yuan Roger Wattenhofer and David Maltz. 2013. zUpdate: Updating Data Center Networks with Zero Loss. In SIGCOMM.  Hongqiang Harry Liu Xin Wu Ming Zhang Lihua Yuan Roger Wattenhofer and David Maltz. 2013. zUpdate: Updating Data Center Networks with Zero Loss. In SIGCOMM."},{"key":"e_1_3_2_1_34_1","unstructured":"Jeremie Miserez Pavol Bielik Ahmed El-Hassany Laurent Vanbever and Martin T. Vechev. 2015. SDNRacer: Detecting Concurrency Violations in Software-Defined Networks. In SOSR.  Jeremie Miserez Pavol Bielik Ahmed El-Hassany Laurent Vanbever and Martin T. Vechev. 2015. SDNRacer: Detecting Concurrency Violations in Software-Defined Networks. In SOSR."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535795"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Matthew Monaco Oliver Michel and Eric Keller. 2013. Applying Operating System Principles to SDN Controller Design. In HotNets.  Matthew Monaco Oliver Michel and Eric Keller. 2013. Applying Operating System Principles to SDN Controller Design. In HotNets.","DOI":"10.1145\/2535771.2535789"},{"key":"e_1_3_2_1_37_1","unstructured":"Christopher Monsanto Joshua Reich Nate Foster Jennifer Rexford and David Walker. 2013. Composing Software-Defined Networks. In NSDI.  Christopher Monsanto Joshua Reich Nate Foster Jennifer Rexford and David Walker. 2013. Composing Software-Defined Networks. In NSDI."},{"key":"e_1_3_2_1_38_1","unstructured":"Tim Nelson Da Yu Yiming Li Rodrigo Fonseca and Shriram Krishnamurthi. [n.d.]. Simon: Scriptable Interactive Monitoring for SDNs (SOSR '15).  Tim Nelson Da Yu Yiming Li Rodrigo Fonseca and Shriram Krishnamurthi. [n.d.]. Simon: Scriptable Interactive Monitoring for SDNs (SOSR '15)."},{"key":"e_1_3_2_1_39_1","unstructured":"Istv\u00e1n Pelle Tam\u00e1s L\u00e9vai Felici\u00e1n N\u00e9meth and Andr\u00e1s Guly\u00e1s. [n.d.]. One Tool to Rule Them All: A Modular Troubleshooting Framework for SDN (and Other) Networks (SOSR '15).  Istv\u00e1n Pelle Tam\u00e1s L\u00e9vai Felici\u00e1n N\u00e9meth and Andr\u00e1s Guly\u00e1s. [n.d.]. One Tool to Rule Them All: A Modular Troubleshooting Framework for SDN (and Other) Networks (SOSR '15)."},{"key":"e_1_3_2_1_40_1","volume-title":"ESPRES: Easy Scheduling and Prioritization for SDN. In ONS.","author":"Pere\u0161\u00edni Peter","year":"2014"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"Philip Porras Seungwon Shin Vinod Yegneswaran Martin Fong Mabry Tyson and Guofei Gu. 2012. A Security Enforcement Kernel for OpenFlow Networks. In HotSDN.  Philip Porras Seungwon Shin Vinod Yegneswaran Martin Fong Mabry Tyson and Guofei Gu. 2012. A Security Enforcement Kernel for OpenFlow Networks. In HotSDN.","DOI":"10.1145\/2342441.2342466"},{"key":"e_1_3_2_1_42_1","unstructured":"Zafar Ayyub Qazi Cheng-Chun Tu Luis Chiang Rui Miao Vyas Sekar and Minlan Yu. 2013. SIMPLE-fying Middlebox Policy Enforcement Using SDN. In SIGCOMM.  Zafar Ayyub Qazi Cheng-Chun Tu Luis Chiang Rui Miao Vyas Sekar and Minlan Yu. 2013. SIMPLE-fying Middlebox Policy Enforcement Using SDN. In SIGCOMM."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Barath Raghavan Mart\u00edn Casado Teemu Koponen Sylvia Ratnasamy Ali Ghodsi and Scott Shenker. 2012. Software-Defined Internet Architecture: Decoupling Architecture from Infrastructure. In HotNets.  Barath Raghavan Mart\u00edn Casado Teemu Koponen Sylvia Ratnasamy Ali Ghodsi and Scott Shenker. 2012. Software-Defined Internet Architecture: Decoupling Architecture from Infrastructure. In HotNets.","DOI":"10.1145\/2390231.2390239"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491187"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Mark Reitblatt Nate Foster Jennifer Rexford Cole Schlesinger and David Walker. 2012. Abstractions for Network Update. In SIGCOMM.  Mark Reitblatt Nate Foster Jennifer Rexford Cole Schlesinger and David Walker. 2012. Abstractions for Network Update. In SIGCOMM.","DOI":"10.1145\/2342356.2342427"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Myriana Rifai Nicolas Huin Christelle Caillouet Fr\u00e9d\u00e9ric Giroire D Lopez- Pacheco Joanna Moulierac and Guillaume Urvoy-Keller. 2015. Too Many SDN Rules? Compress Them with MINNIE. In GLOBECOM.  Myriana Rifai Nicolas Huin Christelle Caillouet Fr\u00e9d\u00e9ric Giroire D Lopez- Pacheco Joanna Moulierac and Guillaume Urvoy-Keller. 2015. Too Many SDN Rules? Compress Them with MINNIE. In GLOBECOM.","DOI":"10.1109\/GLOCOM.2015.7417661"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660353"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Peng Sun Ratul Mahajan Jennifer Rexford Lihua Yuan Ming Zhang and Ahsan Arefin. 2014. A Network-state Management Service. In SIGCOMM.  Peng Sun Ratul Mahajan Jennifer Rexford Lihua Yuan Ming Zhang and Ahsan Arefin. 2014. A Network-state Management Service. In SIGCOMM.","DOI":"10.1145\/2619239.2626298"},{"key":"e_1_3_2_1_49_1","volume-title":"Maple: Simplifying SDN Programming Using Algorithmic Policies. In SIGCOMM.","author":"Voellmy Andreas","year":"2013"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670518.2673864"},{"key":"e_1_3_2_1_51_1","unstructured":"Minlan Yu Jennifer Rexford Michael J. Freedman and Jia Wang. 2010. Scalable Flow-Based Networking with DIFANE. In SIGCOMM.  Minlan Yu Jennifer Rexford Michael J. Freedman and Jia Wang. 2010. Scalable Flow-Based Networking with DIFANE. In SIGCOMM."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"crossref","unstructured":"Erez Zadok and Jason Nieh. 2000. FiST: A Language for Stackable File Systems. In USENIX ATC.  Erez Zadok and Jason Nieh. 2000. FiST: A Language for Stackable File Systems. In USENIX ATC.","DOI":"10.1145\/346152.346263"}],"event":{"name":"SoCC '19: ACM Symposium on Cloud Computing","location":"Santa Cruz CA USA","acronym":"SoCC '19","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the ACM Symposium on Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357223.3362712","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357223.3362712","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357223.3362712","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:44Z","timestamp":1750202024000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357223.3362712"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,20]]},"references-count":52,"alternative-id":["10.1145\/3357223.3362712","10.1145\/3357223"],"URL":"https:\/\/doi.org\/10.1145\/3357223.3362712","relation":{},"subject":[],"published":{"date-parts":[[2019,11,20]]},"assertion":[{"value":"2019-11-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}