{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,12]],"date-time":"2025-07-12T01:13:46Z","timestamp":1752282826224,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,17]]},"DOI":"10.1145\/2774993.2775067","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":11,"title":["Identifying SDN state inconsistency in OpenStack"],"prefix":"10.1145","author":[{"given":"Yang","family":"Xu","sequence":"first","affiliation":[{"name":"New York University"}]},{"given":"Yong","family":"Liu","sequence":"additional","affiliation":[{"name":"New York University"}]},{"given":"Rahul","family":"Singh","sequence":"additional","affiliation":[{"name":"IBM T. J. Watson Research Center"}]},{"given":"Shu","family":"Tao","sequence":"additional","affiliation":[{"name":"IBM T. J. Watson Research Center"}]}],"member":"320","published-online":{"date-parts":[[2015,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Messaging reliability\/durability expectations. http:\/\/www.gossamer-threads.com\/lists\/openstack\/dev\/41915.  Messaging reliability\/durability expectations. http:\/\/www.gossamer-threads.com\/lists\/openstack\/dev\/41915."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1999.766714"},{"key":"e_1_3_2_1_4_1","unstructured":"Bigswitch. Homepage. http:\/\/www.bigswitch.com\/.  Bigswitch. Homepage. http:\/\/www.bigswitch.com\/."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664274"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_7_1","volume-title":"NSDI","author":"Canini M.","year":"2012","unstructured":"M. Canini , D. Venzano , P. Peresini , D. Kostic , and J. Rexford . A nice way to test openflow applications . NSDI , Apr , 2012 . M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford. A nice way to test openflow applications. NSDI, Apr, 2012."},{"key":"e_1_3_2_1_8_1","unstructured":"CloudStack. Homepage. http:\/\/cloudstack.apache.org\/.  CloudStack. Homepage. http:\/\/cloudstack.apache.org\/."},{"key":"e_1_3_2_1_9_1","unstructured":"Eucalyptus. Homepage. http:\/\/www.eucalyptus.com\/.  Eucalyptus. Homepage. http:\/\/www.eucalyptus.com\/."},{"key":"e_1_3_2_1_10_1","unstructured":"Forum. Floating IP Nat Error. https:\/\/ask.openstack.org\/en\/question\/48468\/neutron-floating-ip-nat-on-wrong-router\/.  Forum. Floating IP Nat Error. https:\/\/ask.openstack.org\/en\/question\/48468\/neutron-floating-ip-nat-on-wrong-router\/."},{"key":"e_1_3_2_1_11_1","unstructured":"Forum. VM doesn't get IP with Neutron. https:\/\/ask.openstack.org\/en\/question\/48147\/vm-doesnt-get-ip-with-neutron-icehouse-centos-65\/.  Forum. VM doesn't get IP with Neutron. https:\/\/ask.openstack.org\/en\/question\/48147\/vm-doesnt-get-ip-with-neutron-icehouse-centos-65\/."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034812"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342453"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491197"},{"key":"e_1_3_2_1_15_1","volume-title":"USENIX Workshop on Hot Topics in Cloud Computing(HotCloud)","author":"Ju X.","year":"2013","unstructured":"X. Ju , L. Soares , K. G. Shin , and K. D. Ryu . Towards a fault-resilient cloud management stack . In USENIX Workshop on Hot Topics in Cloud Computing(HotCloud) , 2013 . X. Ju, L. Soares, K. G. Shin, and K. D. Ryu. Towards a fault-resilient cloud management stack. In USENIX Workshop on Hot Topics in Cloud Computing(HotCloud), 2013."},{"key":"e_1_3_2_1_16_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Kazemian P.","year":"2013","unstructured":"P. Kazemian , M. Chang , H. Zeng , G. Varghese , N. McKeown , and S. Whyte . Real time network policy checking using header space analysis . In USENIX Symposium on Networked Systems Design and Implementation (NSDI) , 2013 . P. Kazemian, M. Chang, H. Zeng, G. Varghese, N. McKeown, and S. Whyte. Real time network policy checking using header space analysis. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2013."},{"key":"e_1_3_2_1_17_1","volume-title":"NSDI","author":"Kazemian P.","year":"2012","unstructured":"P. Kazemian , G. Varghese , and N. McKeown . Header space analysis: Static checking for networks . NSDI , Apr , 2012 . P. Kazemian, G. Varghese, and N. McKeown. Header space analysis: Static checking for networks. NSDI, Apr, 2012."},{"key":"e_1_3_2_1_18_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Khurshid A.","year":"2013","unstructured":"A. Khurshid , W. Zhou , M. Caesar , and P. Godfrey . Veriflow: Verifying network-wide invariants in real time . In USENIX Symposium on Networked Systems Design and Implementation (NSDI) , 2013 . A. Khurshid, W. Zhou, M. Caesar, and P. Godfrey. Veriflow: Verifying network-wide invariants in real time. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2013."},{"key":"e_1_3_2_1_19_1","first-page":"1","volume-title":"OSDI","volume":"10","author":"Koponen T.","year":"2010","unstructured":"T. Koponen , M. Casado , N. Gude , J. Stribling , L. Poutievski , M. Zhu , R. Ramanathan , Y. Iwata , H. Inoue , T. Hama , : A distributed control platform for large-scale production networks . In OSDI , volume 10 , pages 1 -- 6 , 2010 . T. Koponen, M. Casado, N. Gude, J. Stribling, L. Poutievski, M. Zhu, R. Ramanathan, Y. Iwata, H. Inoue, T. Hama, et al. Onix: A distributed control platform for large-scale production networks. In OSDI, volume 10, pages 1--6, 2010."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/882494.884424"},{"key":"e_1_3_2_1_22_1","unstructured":"Openflow. Homepage. https:\/\/www.opennetworking.org\/.  Openflow. Homepage. https:\/\/www.opennetworking.org\/."},{"key":"e_1_3_2_1_23_1","unstructured":"OpenStack. Homepage. http:\/\/www.openstack.org\/.  OpenStack. Homepage. http:\/\/www.openstack.org\/."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626298"},{"key":"e_1_3_2_1_26_1","volume-title":"Identifying State Inconsistency in OpenStack. Technical report","author":"Xu Y.","year":"2015","unstructured":"Y. Xu , Y. Liu , R. Singh , and S. Tao . Identifying State Inconsistency in OpenStack. Technical report , New York University , March 2015 . http:\/\/eeweb.poly.edu\/faculty\/yongliu\/docs\/openstack_TR.pdf. Y. Xu, Y. Liu, R. Singh, and S. Tao. Identifying State Inconsistency in OpenStack. Technical report, New York University, March 2015. http:\/\/eeweb.poly.edu\/faculty\/yongliu\/docs\/openstack_TR.pdf."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"}],"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.2775067","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2774993.2775067","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.2775067"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,17]]},"references-count":28,"alternative-id":["10.1145\/2774993.2775067","10.1145\/2774993"],"URL":"https:\/\/doi.org\/10.1145\/2774993.2775067","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"}}]}}