{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:20Z","timestamp":1772164100749,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T00:00:00Z","timestamp":1464825600000},"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":[[2016,6,2]]},"DOI":"10.1145\/2908080.2908124","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T15:23:42Z","timestamp":1464881022000},"page":"402-415","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["SDNRacer: concurrency analysis for software-defined networks"],"prefix":"10.1145","author":[{"given":"Ahmed","family":"El-Hassany","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremie","family":"Miserez","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavol","family":"Bielik","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Vanbever","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,6,2]]},"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","unstructured":"Open vSwitch. Production Quality Multilayer Open Virtual Switch. http:\/\/openvswitch.org\/.  Open vSwitch. Production Quality Multilayer Open Virtual Switch. http:\/\/openvswitch.org\/."},{"key":"e_1_3_2_1_3_1","volume-title":"CA, 2014. USENIX. URL https: \/\/www.usenix.org\/conference\/ons2014\/ technical-sessions\/presentation\/wang.","author":"Zhou W.","unstructured":"Anduo, W. Zhou , B. Godfrey , and M. Caesar . Software-Defined Networks as Databases. In Presented as part of the Open Networking Summit 2014 (ONS 2014), Santa Clara , CA, 2014. USENIX. URL https: \/\/www.usenix.org\/conference\/ons2014\/ technical-sessions\/presentation\/wang. Anduo, W. Zhou, B. Godfrey, and M. Caesar. Software-Defined Networks as Databases. In Presented as part of the Open Networking Summit 2014 (ONS 2014), Santa Clara, CA, 2014. USENIX. URL https: \/\/www.usenix.org\/conference\/ons2014\/ technical-sessions\/presentation\/wang."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594317"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620743"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"e_1_3_2_1_7_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_8_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_9_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_10_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_11_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_12_1","unstructured":"M. Canini D. Venzano P. Pere\u02c7s\u00b4\u0131ni D. Kosti\u00b4c and J. Rexford. A NICE Way to Test OpenFlow Applications. In USENIX NSDI \u201912.   M. Canini D. Venzano P. Pere\u02c7s\u00b4\u0131ni D. Kosti\u00b4c and J. Rexford. A NICE Way to Test OpenFlow Applications. In USENIX NSDI \u201912."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522712"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594322"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_16_1","unstructured":"Floodlight. Floodlight Open SDN Controller. http:\/\/ projectfloodlight.org\/floodlight.  Floodlight. Floodlight Open SDN Controller. http:\/\/ projectfloodlight.org\/floodlight."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462178"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"e_1_3_2_1_20_1","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 NSDI \u201913 .   P. Kazemian M. Chang H. Zeng G. Varghese N. McKeown and S. Whyte. Real Time Network Policy Checking Using Header Space Analysis. In USENIX NSDI \u201913 ."},{"key":"e_1_3_2_1_21_1","unstructured":"P. Kazemian G. Varghese and N. McKeown. Header Space Analysis: Static Checking for Networks. In USENIX NSDI \u201912 .   P. Kazemian G. Varghese and N. McKeown. Header Space Analysis: Static Checking for Networks. In USENIX NSDI \u201912 ."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"e_1_3_2_1_23_1","volume-title":"International Conference on Passive and Active Measurement, PAM \u201915","author":"Ku\u00b4zniar M.","unstructured":"M. Ku\u00b4zniar , P. Pere\u02c7s\u00b4\u0131ni , and D. Kosti\u00b4c . What You Need to Know About SDN Flow Tables . In International Conference on Passive and Active Measurement, PAM \u201915 . Springer International Publishing. doi: 10.1007\/ 978-3-319-15509-8_26. M. Ku\u00b4zniar, P. Pere\u02c7s\u00b4\u0131ni, and D. Kosti\u00b4c. What You Need to Know About SDN Flow Tables. In International Conference on Passive and Active Measurement, PAM \u201915. Springer International Publishing. doi: 10.1007\/ 978-3-319-15509-8_26."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/359545.359563.    10.1145\/359545.359563\ndoi: 10.1145\/359545.359563.","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535791"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design, FMCAD \u201914","author":"Majumdar R.","unstructured":"R. Majumdar , S. D. Tetali , and Z. Wang . Kuai: A Model Checker for Software-defined Networks . In Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design, FMCAD \u201914 . R. Majumdar, S. D. Tetali, and Z. Wang. Kuai: A Model Checker for Software-defined Networks. In Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design, FMCAD \u201914."},{"key":"e_1_3_2_1_29_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_30_1","volume-title":"POX Angler Forwarding Application. https:\/\/github.com\/noxrepo\/pox\/blob\/ angler\/pox\/forwarding\/l2_multi.py","author":"McCauley J.","year":"2012","unstructured":"J. McCauley . POX Angler Forwarding Application. https:\/\/github.com\/noxrepo\/pox\/blob\/ angler\/pox\/forwarding\/l2_multi.py , 2012 . J. McCauley. POX Angler Forwarding Application. https:\/\/github.com\/noxrepo\/pox\/blob\/ angler\/pox\/forwarding\/l2_multi.py, 2012."},{"key":"e_1_3_2_1_31_1","volume-title":"POX EEL Forwarding Application. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/ pox\/forwarding\/l2_multi.py","author":"McCauley J.","year":"2015","unstructured":"J. McCauley . POX EEL Forwarding Application. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/ pox\/forwarding\/l2_multi.py , 2015 . J. McCauley. POX EEL Forwarding Application. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/ pox\/forwarding\/l2_multi.py, 2015."},{"key":"e_1_3_2_1_32_1","volume-title":"POX EEL L2 Learning Switch. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/ pox\/forwarding\/l2_learning.py","author":"McCauley J.","year":"2015","unstructured":"J. McCauley . POX EEL L2 Learning Switch. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/ pox\/forwarding\/l2_learning.py , 2015 . J. McCauley. POX EEL L2 Learning Switch. https:\/\/github.com\/noxrepo\/pox\/blob\/eel\/ pox\/forwarding\/l2_learning.py, 2015."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775004"},{"key":"e_1_3_2_1_34_1","unstructured":"2775004.  2775004."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103685"},{"key":"e_1_3_2_1_36_1","unstructured":"2103685.  2103685."},{"key":"e_1_3_2_1_37_1","unstructured":"T. Nelson A. D. Ferguson M. J. G. Scheer and S. Krishnamurthi. Tierless Programming and Reasoning for Softwaredefined Networks. In USENIX NSDI \u201914.   T. Nelson A. D. Ferguson M. J. G. Scheer and S. Krishnamurthi. Tierless Programming and Reasoning for Softwaredefined Networks. In USENIX NSDI \u201914."},{"key":"e_1_3_2_1_38_1","volume-title":"Forwarding Application. https:\/\/github.com\/opennetworkinglab\/ onos\/tree\/onos-1.2\/apps\/fwd","author":"Laboratory Open Networking","year":"2015","unstructured":"Open Networking Laboratory . ONOS ( Open Network Operating System) : Forwarding Application. https:\/\/github.com\/opennetworkinglab\/ onos\/tree\/onos-1.2\/apps\/fwd , 2015 . Open Networking Laboratory. ONOS (Open Network Operating System): Forwarding Application. https:\/\/github.com\/opennetworkinglab\/ onos\/tree\/onos-1.2\/apps\/fwd, 2015."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509538"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28537-0_9"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626304"}],"event":{"name":"PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Santa Barbara CA USA","acronym":"PLDI '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908124","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:54:50Z","timestamp":1750208090000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908124"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,2]]},"references-count":42,"alternative-id":["10.1145\/2908080.2908124","10.1145\/2908080"],"URL":"https:\/\/doi.org\/10.1145\/2908080.2908124","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980983.2908124","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,2]]},"assertion":[{"value":"2016-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}