{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:48:57Z","timestamp":1750308537379,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,17]],"date-time":"2015-06-17T00:00:00Z","timestamp":1434499200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1116557,CCF-1408745,CNS-1320397"],"award-info":[{"award-number":["CNS-1116557,CCF-1408745,CNS-1320397"]}],"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":[[2015,6,17]]},"DOI":"10.1145\/2774993.2774997","type":"proceedings-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T18:43:54Z","timestamp":1434134634000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Exodus"],"prefix":"10.1145","author":[{"given":"Tim","family":"Nelson","sequence":"first","affiliation":[{"name":"Brown University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew D.","family":"Ferguson","sequence":"additional","affiliation":[{"name":"Brown University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Da","family":"Yu","sequence":"additional","affiliation":[{"name":"Brown University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo","family":"Fonseca","sequence":"additional","affiliation":[{"name":"Brown University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[{"name":"Brown University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC1812"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. NSDI.","author":"Benson T.","year":"2009","unstructured":"T. Benson , A. Akella , and D. Maltz . Unraveling the Complexity of Network Management . In Proc. NSDI. 2009 . T. Benson, A. Akella, and D. Maltz. Unraveling the Complexity of Network Management. In Proc. NSDI. 2009."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644893.1644909"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/972374.972379"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1314436.1314440"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282382"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1921151.1921162"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342459"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. USENIX-SS.","author":"Casado M.","year":"2006","unstructured":"M. Casado , T. Garfinkel , A. Akella , M. J. Freedman , D. Boneh , N. McKeown , and S. Shenker . SANE: A Protection Architecture for Enterprise Networks . In Proc. USENIX-SS. 2006 . M. Casado, T. Garfinkel, A. Akella, M. J. Freedman, D. Boneh, N. McKeown, and S. Shenker. SANE: A Protection Architecture for Enterprise Networks. In Proc. USENIX-SS. 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1096536.1096541"},{"key":"e_1_3_2_1_13_1","volume-title":"Logic, Language, and Analysis","author":"Jackson D.","year":"2006","unstructured":"D. Jackson . Software Abstractions : Logic, Language, and Analysis . The MIT Press , April 2006 . ISBN 0262101149. D. Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, April 2006. ISBN 0262101149."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535372.2535373"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6566832"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. NSDI.","author":"Kazemian P.","year":"2012","unstructured":"P. Kazemian , G. Varghese , and N. McKeown . Header Space Analysis: Static Checking for Networks . In Proc. NSDI. 2012 . P. Kazemian, G. Varghese, and N. McKeown. Header Space Analysis: Static Checking for Networks. In Proc. NSDI. 2012."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2068816.2068863"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. USENIX ATC.","author":"Levin D.","year":"2014","unstructured":"D. Levin , M. Canini , S. Schmid , F. Schaffert , and A. Feldmann . Panopticon: Reaping the benefits of partial SDN deployment in enterprise networks . In Proc. USENIX ATC. 2014 . D. Levin, M. Canini, S. Schmid, F. Schaffert, and A. Feldmann. Panopticon: Reaping the benefits of partial SDN deployment in enterprise networks. In Proc. USENIX ATC. 2014."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. NSDI.","author":"Monsanto C.","year":"2013","unstructured":"C. Monsanto , J. Reich , N. Foster , J. Rexford , and D. Walker . Composing Software-Defined Networks . In Proc. NSDI. 2013 . C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker. Composing Software-Defined Networks. In Proc. NSDI. 2013."},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. USENIX LISA.","author":"Nelson T.","year":"2010","unstructured":"T. Nelson , C. Barratt , D. J. Dougherty , K. Fisler , and S. Krishnamurthi . The Margrave Tool for Firewall Analysis . In Proc. USENIX LISA. 2010 . T. Nelson, C. Barratt, D. J. Dougherty, K. Fisler, and S. Krishnamurthi. The Margrave Tool for Firewall Analysis. In Proc. USENIX LISA. 2010."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. NSDI.","author":"Nelson T.","year":"2014","unstructured":"T. Nelson , A. D. Ferguson , M. J. G. Scheer , and S. Krishnamurthi . Tierless programming and reasoning for software-defined networks . In Proc. NSDI. 2014 . T. Nelson, A. D. Ferguson, M. J. G. Scheer, and S. Krishnamurthi. Tierless programming and reasoning for software-defined networks. In Proc. NSDI. 2014."},{"key":"e_1_3_2_1_25_1","unstructured":"Google Protocol Buffers. https:\/\/code.google.com\/p\/protobuf\/.  Google Protocol Buffers. https:\/\/code.google.com\/p\/protobuf\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342445"},{"key":"e_1_3_2_1_27_1","volume-title":"Oct.","author":"Shenker S.","year":"2011","unstructured":"S. Shenker . The future of networking and the past of protocols. Talk at Open Networking Summit , Oct. 2011 . S. Shenker. The future of networking and the past of protocols. Talk at Open Networking Summit, Oct. 2011."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC3022"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2010.2089640"},{"key":"e_1_3_2_1_30_1","series-title":"Network & Service Management Series","volume-title":"A survey of virtual LAN usage in campus networks","author":"Yu M.","year":"2011","unstructured":"M. Yu , X. Sun , N. Feamster , S. Rao , and J. Rexford . A survey of virtual LAN usage in campus networks . Network & Service Management Series , IEEE Communications Magazine , July 2011 . M. Yu, X. Sun, N. Feamster, S. Rao, and J. Rexford. A survey of virtual LAN usage in campus networks. Network & Service Management Series, IEEE Communications Magazine, July 2011."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2012.6459944"}],"event":{"name":"SOSR 2015: ACM SIGCOMM Symposium on SDN Research","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication","ONS Open Networking Summit","USENIX Assoc USENIX Assoc"],"location":"Santa Clara California","acronym":"SOSR 2015"},"container-title":["Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2774993.2774997","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2774993.2774997","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:56:05Z","timestamp":1750272965000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2774993.2774997"}},"subtitle":["toward automatic migration of enterprise network configurations to SDNs"],"short-title":[],"issued":{"date-parts":[[2015,6,17]]},"references-count":32,"alternative-id":["10.1145\/2774993.2774997","10.1145\/2774993"],"URL":"https:\/\/doi.org\/10.1145\/2774993.2774997","relation":{},"subject":[],"published":{"date-parts":[[2015,6,17]]},"assertion":[{"value":"2015-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}