{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T20:14:28Z","timestamp":1774556068109,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T00:00:00Z","timestamp":1344816000000},"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":[[2012,8,13]]},"DOI":"10.1145\/2342356.2342427","type":"proceedings-article","created":{"date-parts":[[2012,8,14]],"date-time":"2012-08-14T12:18:56Z","timestamp":1344946736000},"page":"323-334","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":373,"title":["Abstractions for network update"],"prefix":"10.1145","author":[{"given":"Mark","family":"Reitblatt","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}]},{"given":"Nate","family":"Foster","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}]},{"given":"Jennifer","family":"Rexford","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}]},{"given":"Cole","family":"Schlesinger","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,8,13]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.902686"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2007.021102"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2010.2097604"},{"key":"e_1_3_2_2_4_1","volume-title":"A demonstration of virtual machine mobility in an OpenFlow network","author":"Erickson D.","year":"2008","unstructured":"D. Erickson , \" A demonstration of virtual machine mobility in an OpenFlow network ,\" Aug 2008 . Demo at ACM SIGCOMM. D. Erickson et al., \"A demonstration of virtual machine mobility in an OpenFlow network,\" Aug 2008. Demo at ACM SIGCOMM."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018473"},{"key":"e_1_3_2_2_6_1","volume-title":"Plug-n-Serve: Load-balancing web traffic using OpenFlow","author":"Handigol N.","year":"2009","unstructured":"N. Handigol , S. Seetharaman , M. Flajslik , N. McKeown , and R. Johari , \" Plug-n-Serve: Load-balancing web traffic using OpenFlow ,\" Aug 2009 . Demo at ACM SIGCOMM. N. Handigol, S. Seetharaman, M. Flajslik, N. McKeown, and R. Johari, \"Plug-n-Serve: Load-balancing web traffic using OpenFlow,\" Aug 2009. Demo at ACM SIGCOMM."},{"key":"e_1_3_2_2_7_1","volume-title":"Mar","author":"Wang R.","year":"2011","unstructured":"R. Wang , D. Butnariu , and J. Rexford , \" OpenFlow-based server load balancing gone wild,\" in Hot-ICE , Mar 2011 . R. Wang, D. Butnariu, and J. Rexford, \"OpenFlow-based server load balancing gone wild,\" in Hot-ICE, Mar 2011."},{"key":"e_1_3_2_2_8_1","volume-title":"May","author":"Francois P.","year":"2007","unstructured":"P. Francois , M. Shand , and O. Bonaventure , \" Disruption-free topology reconfiguration in OSPF networks,\" in IEEE INFOCOM , May 2007 . P. Francois, M. Shand, and O. Bonaventure, \"Disruption-free topology reconfiguration in OSPF networks,\" in IEEE INFOCOM, May 2007."},{"key":"e_1_3_2_2_9_1","volume-title":"Apr","author":"John J. P.","year":"2008","unstructured":"J. P. John , E. Katz-Bassett , A. Krishnamurthy , T. Anderson , and A. Venkataramani , \" Consensus routing: The Internet as a distributed system,\" in NSDI , Apr 2008 . J. P. John, E. Katz-Bassett, A. Krishnamurthy, T. Anderson, and A. Venkataramani, \"Consensus routing: The Internet as a distributed system,\" in NSDI, Apr 2008."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_3_2_2_11_1","volume-title":"Apr","author":"Canini M.","year":"2012","unstructured":"M. Canini , D. Venzano , P. Peresini , D. Kostic , and J. Rexford , \" A NICE way to test OpenFlow applications,\" in NSDI , Apr 2012 . M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford, \"A NICE way to test OpenFlow applications,\" in NSDI, Apr 2012."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive theorem proving and program development: Coq'Art the calculus of inductive constructions,\" in EATCS Texts in Theoretical Computer Science","author":"Bertot Y.","year":"2004","unstructured":"Y. Bertot and P. Casteran , \" Interactive theorem proving and program development: Coq'Art the calculus of inductive constructions,\" in EATCS Texts in Theoretical Computer Science , Springer-Verlag , 2004 . Y. Bertot and P. Casteran, \"Interactive theorem proving and program development: Coq'Art the calculus of inductive constructions,\" in EATCS Texts in Theoretical Computer Science, Springer-Verlag, 2004."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734431"},{"key":"e_1_3_2_2_14_1","volume-title":"Apr","author":"Kazemian P.","year":"2012","unstructured":"P. Kazemian , G. Varghese , and N. McKeown , \"Header space analysis : Static checking for networks,\" in NSDI , Apr 2012 . P. Kazemian, G. Varghese, and N. McKeown, \"Header space analysis: Static checking for networks,\" in NSDI, Apr 2012."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_2_16_1","first-page":"347","volume-title":"Routing of Multipoint Connections","author":"Waxman B. M.","year":"1991","unstructured":"B. M. Waxman , \"Broadband switching,\" ch. Routing of Multipoint Connections , pp. 347 -- 352 , IEEE Computer Society Press , 1991 . B. M. Waxman, \"Broadband switching,\" ch. Routing of Multipoint Connections, pp. 347--352, IEEE Computer Society Press, 1991."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018466"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070569"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_26"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.32"},{"key":"e_1_3_2_2_24_1","volume-title":"May","author":"Feamster N.","year":"2005","unstructured":"N. Feamster and H. Balakrishnan , \" Detecting BGP configuration faults with static analysis,\" in NSDI , May 2005 . N. Feamster and H. Balakrishnan, \"Detecting BGP configuration faults with static analysis,\" in NSDI, May 2005."}],"event":{"name":"SIGCOMM '12: ACM SIGCOMM 2012 Conference","location":"Helsinki Finland","acronym":"SIGCOMM '12","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2342356.2342427","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2342356.2342427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:23Z","timestamp":1750238483000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2342356.2342427"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,13]]},"references-count":23,"alternative-id":["10.1145\/2342356.2342427","10.1145\/2342356"],"URL":"https:\/\/doi.org\/10.1145\/2342356.2342427","relation":{},"subject":[],"published":{"date-parts":[[2012,8,13]]},"assertion":[{"value":"2012-08-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}