{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T21:01:28Z","timestamp":1761339688113,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,3]],"date-time":"2017-04-03T00:00:00Z","timestamp":1491177600000},"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":[[2017,4,3]]},"DOI":"10.1145\/3050220.3050230","type":"proceedings-article","created":{"date-parts":[[2017,4,10]],"date-time":"2017-04-10T12:27:28Z","timestamp":1491827248000},"page":"88-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["BigBug"],"prefix":"10.1145","author":[{"given":"Roman","family":"May","sequence":"first","affiliation":[{"name":"ETH Z\u00fcrich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"El-Hassany","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Vanbever","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Z\u00fcrich"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"OpenFlow Switch Specification. Version 1.0.0. https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow\/openflow-spec-v1.0.0.pdf.  OpenFlow Switch Specification. Version 1.0.0. https:\/\/www.opennetworking.org\/images\/stories\/downloads\/sdn-resources\/onf-specifications\/openflow\/openflow-spec-v1.0.0.pdf."},{"key":"e_1_3_2_1_2_1","volume-title":"Graph Isomorphism in Quasipolynomial Time. Computing Research Repository (CoRR), abs\/1512.03547","author":"Babai L.","year":"2015","unstructured":"L. Babai . Graph Isomorphism in Quasipolynomial Time. Computing Research Repository (CoRR), abs\/1512.03547 , 2015 . L. Babai. Graph Isomorphism in Quasipolynomial Time. Computing Research Repository (CoRR), abs\/1512.03547, 2015."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814303"},{"key":"e_1_3_2_1_4_1","unstructured":"Big Switch Networks Inc. Floodlight Circuit Pusher Application. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/apps\/circuitpusher 2013.  Big Switch Networks Inc. Floodlight Circuit Pusher Application. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/apps\/circuitpusher 2013."},{"key":"e_1_3_2_1_5_1","unstructured":"Big Switch Networks Inc. Floodlight Firewall. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/firewall 2013.  Big Switch Networks Inc. Floodlight Firewall. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/firewall 2013."},{"key":"e_1_3_2_1_6_1","unstructured":"Big Switch Networks Inc. Floodlight Forwarding Application. https:\/\/github.com\/floodlight\/floodlight\/blob\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/forwarding\/Forwarding.java 2013.  Big Switch Networks Inc. Floodlight Forwarding Application. https:\/\/github.com\/floodlight\/floodlight\/blob\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/forwarding\/Forwarding.java 2013."},{"key":"e_1_3_2_1_7_1","unstructured":"Big Switch Networks Inc. Floodlight Learning Switch. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/learningswitch 2013.  Big Switch Networks Inc. Floodlight Learning Switch. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/learningswitch 2013."},{"key":"e_1_3_2_1_8_1","unstructured":"Big Switch Networks Inc. Floodlight Load-Balancer Application. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/loadbalancer 2013.  Big Switch Networks Inc. Floodlight Load-Balancer Application. https:\/\/github.com\/floodlight\/floodlight\/tree\/v0.91\/src\/main\/java\/net\/floodlightcontroller\/loadbalancer 2013."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/0209025"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908124"},{"volume-title":"FastTrack: Efficient and Precise Dynamic Race Detection. In ACM PLDI '09","author":"Flanagan C.","key":"e_1_3_2_1_11_1","unstructured":"C. Flanagan and S. N. Freund . FastTrack: Efficient and Precise Dynamic Race Detection. In ACM PLDI '09 . C. Flanagan and S. N. Freund. FastTrack: Efficient and Precise Dynamic Race Detection. In ACM PLDI '09."},{"key":"e_1_3_2_1_12_1","unstructured":"Floodlight Open SDN Controller. http:\/\/projectfloodlight.org\/floodlight.  Floodlight Open SDN Controller. http:\/\/projectfloodlight.org\/floodlight."},{"key":"e_1_3_2_1_13_1","volume-title":"Algorithms for Clustering Data","author":"Jain A. K.","year":"1988","unstructured":"A. K. Jain and R. C. Dubes . Algorithms for Clustering Data . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1988 . A. K. Jain and R. C. Dubes. Algorithms for Clustering Data. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1988."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_1_15_1","volume-title":"Path-based Fault Correlations. In ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE). ACM","author":"Le W.","year":"2010","unstructured":"W. Le and M. L. Soffa . Path-based Fault Correlations. In ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE). ACM , 2010 . W. Le and M. L. Soffa. Path-based Fault Correlations. In ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE). ACM, 2010."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_20"},{"key":"e_1_3_2_1_17_1","unstructured":"J. McCauley. POX: A Python-based OpenFlow Controller. https:\/\/github.com\/noxrepo\/pox.  J. McCauley. POX: A Python-based OpenFlow Controller. https:\/\/github.com\/noxrepo\/pox."},{"key":"e_1_3_2_1_18_1","volume-title":"POX EEL Forwarding Application. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/pox\/forwarding\/12_multi.py","author":"McCauley J.","year":"2015","unstructured":"J. McCauley . POX EEL Forwarding Application. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/pox\/forwarding\/12_multi.py , 2015 . J. McCauley. POX EEL Forwarding Application. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/pox\/forwarding\/12_multi.py, 2015."},{"key":"e_1_3_2_1_19_1","volume-title":"https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/pox\/forwarding\/12_learning.py","author":"McCauley J.","year":"2015","unstructured":"J. McCauley . POX EEL L2 Learning Switch . https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/pox\/forwarding\/12_learning.py , 2015 . J. McCauley. POX EEL L2 Learning Switch. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/pox\/forwarding\/12_learning.py, 2015."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775004"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.97"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2013.6648191"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2016.25"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250738"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626309"}],"event":{"name":"SOSR '17: Symposium on SDN Research","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication","ONS Open Networking Summit"],"location":"Santa Clara CA USA","acronym":"SOSR '17"},"container-title":["Proceedings of the Symposium on SDN Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3050220.3050230","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3050220.3050230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:27Z","timestamp":1750217787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3050220.3050230"}},"subtitle":["Practical Concurrency Analysis for SDN"],"short-title":[],"issued":{"date-parts":[[2017,4,3]]},"references-count":25,"alternative-id":["10.1145\/3050220.3050230","10.1145\/3050220"],"URL":"https:\/\/doi.org\/10.1145\/3050220.3050230","relation":{},"subject":[],"published":{"date-parts":[[2017,4,3]]},"assertion":[{"value":"2017-04-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}