{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T22:37:07Z","timestamp":1778279827759,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,8,17]],"date-time":"2014-08-17T00:00:00Z","timestamp":1408233600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS 1015459"],"award-info":[{"award-number":["CNS 1015459"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CNS 1040838"],"award-info":[{"award-number":["CNS 1040838"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,8,17]]},"DOI":"10.1145\/2619239.2626304","type":"proceedings-article","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T09:53:50Z","timestamp":1407837230000},"page":"395-406","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":54,"title":["Troubleshooting blackbox SDN control software with minimal causal sequences"],"prefix":"10.1145","author":[{"given":"Colin","family":"Scott","sequence":"first","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Wundsam","sequence":"additional","affiliation":[{"name":"Big Switch Networks & ICSI, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barath","family":"Raghavan","sequence":"additional","affiliation":[{"name":"ICSI, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aurojit","family":"Panda","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Or","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jefferson","family":"Lai","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene","family":"Huang","sequence":"additional","affiliation":[{"name":"UC Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi","family":"Liu","sequence":"additional","affiliation":[{"name":"Tshinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"El-Hassany","sequence":"additional","affiliation":[{"name":"ICSI, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Whitlock","sequence":"additional","affiliation":[{"name":"EPFL & ICSI, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.B.","family":"Acharya","sequence":"additional","affiliation":[{"name":"ICSI, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kyriakos","family":"Zarifis","sequence":"additional","affiliation":[{"name":"USC & ICSI, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Shenker","sequence":"additional","affiliation":[{"name":"UC Berkeley & ICSI, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,8,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Linux kernel containers. linuxcontainers.org.  Linux kernel containers. linuxcontainers.org."},{"key":"e_1_3_2_1_2_1","unstructured":"OpenStack Neutron. http:\/\/tinyurl.com\/qj8ebuc.  OpenStack Neutron. http:\/\/tinyurl.com\/qj8ebuc."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161063"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_1_5_1","volume-title":"Using Magpie for Request Extraction and Workload Modelling. OSDI '04","author":"Barham P.","unstructured":"P. Barham , A. Donnelly , R. Isaacs , and R. Mortier . Using Magpie for Request Extraction and Workload Modelling. OSDI '04 . P. Barham, A. Donnelly, R. Isaacs, and R. Mortier. Using Magpie for Request Extraction and Workload Modelling. OSDI '04."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001447"},{"key":"e_1_3_2_1_7_1","volume-title":"NSDI '12","author":"Canini M.","unstructured":"M. Canini , D. Venzano , P. Peresini , D. Kostic , and J. Rexford . A NICE Way to Test OpenFlow Applications . NSDI '12 . M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford. A NICE Way to Test OpenFlow Applications. NSDI '12."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/226643.226647"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"e_1_3_2_1_10_1","volume-title":"Dynamic Internet Services. DSN '02","author":"Chen M. Y.","unstructured":"M. Y. Chen , E. Kiciman , E. Fratkin , A. Fox , O. Fox , and E. Brewer . Pinpoint: Problem Determination in Large , Dynamic Internet Services. DSN '02 . M. Y. Chen, E. Kiciman, E. Fratkin, A. Fox, O. Fox, and E. Brewer. Pinpoint: Problem Determination in Large, Dynamic Internet Services. DSN '02."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566211"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596574"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.10"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060309"},{"key":"e_1_3_2_1_16_1","unstructured":"Floodlight Controller. http:\/\/tinyurl.com\/ntjxa6l.  Floodlight Controller. http:\/\/tinyurl.com\/ntjxa6l."},{"key":"e_1_3_2_1_17_1","unstructured":"Floodlight FIXME comment. Controller.java line 605. http:\/\/tinyurl.com\/af6nhjj.  Floodlight FIXME comment. Controller.java line 605. http:\/\/tinyurl.com\/af6nhjj."},{"key":"e_1_3_2_1_18_1","volume-title":"X-Trace: A Pervasive Network Tracing Framework. NSDI '07","author":"Fonseca R.","unstructured":"R. Fonseca , G. Porter , R. Katz , S. Shenker , and I. Stoica . X-Trace: A Pervasive Network Tracing Framework. NSDI '07 . R. Fonseca, G. Porter, R. Katz, S. Shenker, and I. Stoica. X-Trace: A Pervasive Network Tracing Framework. NSDI '07."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"e_1_3_2_1_20_1","volume-title":"Replay Debugging For Distributed Applications. ATC '06","author":"Geels D.","unstructured":"D. Geels , G. Altekar , S. Shenker , and I. Stoica . Replay Debugging For Distributed Applications. ATC '06 . D. Geels, G. Altekar, S. Shenker, and I. Stoica. Replay Debugging For Distributed Applications. ATC '06."},{"key":"e_1_3_2_1_21_1","volume-title":"CAV '08","author":"Godefroid P.","unstructured":"P. Godefroid and N. Nagappan . Concurrency at Microsoft - An Exploratory Survey . CAV '08 . P. Godefroid and N. Nagappan. Concurrency at Microsoft - An Exploratory Survey. CAV '08."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594977.1592576"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"key":"e_1_3_2_1_24_1","volume-title":"To Infinity and Beyond: TimeWarped Network Emulation. NSDI '06","author":"Gupta D.","unstructured":"D. Gupta , K. Yocum , M. Mcnett , A. C. Snoeren , A. Vahdat , and G. M. Voelker . To Infinity and Beyond: TimeWarped Network Emulation. NSDI '06 . D. Gupta, K. Yocum, M. Mcnett, A. C. Snoeren, A. Vahdat, and G. M. Voelker. To Infinity and Beyond: TimeWarped Network Emulation. NSDI '06."},{"key":"e_1_3_2_1_25_1","volume-title":"NSDI '14","author":"Handigol N.","unstructured":"N. Handigol , B. Heller , V. Jeyakumar , D. Mazi\u00e9res , and N. McKeown . I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks . NSDI '14 . N. Handigol, B. Heller, V. Jeyakumar, D. Mazi\u00e9res, and N. McKeown. I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks. NSDI '14."},{"key":"e_1_3_2_1_26_1","volume-title":"An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. SAS '11","author":"Huang J.","unstructured":"J. Huang and C. Zhang . An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. SAS '11 . J. Huang and C. Zhang. An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. SAS '11."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384649"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882302"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592568.1592597"},{"key":"e_1_3_2_1_30_1","volume-title":"Real Time Network Policy Checking Using Header Space Analysis. NSDI '13","author":"Kazemian P.","unstructured":"P. Kazemian , M. Change , H. Zheng , G. Varghese , N. McKeown , and S. Whyte . Real Time Network Policy Checking Using Header Space Analysis. NSDI '13 . P. Kazemian, M. Change, H. Zheng, G. Varghese, N. McKeown, and S. Whyte. Real Time Network Policy Checking Using Header Space Analysis. NSDI '13."},{"key":"e_1_3_2_1_31_1","volume-title":"Header Space Analysis: Static Checking For Networks. NSDI '12","author":"Kazemian P.","unstructured":"P. Kazemian , G. Varghese , and N. McKeown . Header Space Analysis: Static Checking For Networks. NSDI '12 . P. Kazemian, G. Varghese, and N. McKeown. Header Space Analysis: Static Checking For Networks. NSDI '12."},{"key":"e_1_3_2_1_32_1","volume-title":"VeriFlow: Verifying Network-Wide Invariants in Real Time. NSDI '13","author":"Khurshid A.","unstructured":"A. Khurshid , W. Zhou , M. Caesar , and P. Godfrey . VeriFlow: Verifying Network-Wide Invariants in Real Time. NSDI '13 . A. Khurshid, W. Zhou, M. Caesar, and P. Godfrey. VeriFlow: Verifying Network-Wide Invariants in Real Time. NSDI '13."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993528"},{"key":"e_1_3_2_1_35_1","volume-title":"Van der Merwe. DEFINED: Deterministic Execution for Interactive Control-Plane Debugging. ATC '13","author":"Lin C.-C.","unstructured":"C.-C. Lin , V. Jalaparti , M. Caesar , and J. Van der Merwe. DEFINED: Deterministic Execution for Interactive Control-Plane Debugging. ATC '13 . C.-C. Lin, V. Jalaparti, M. Caesar, and J. Van der Merwe. DEFINED: Deterministic Execution for Interactive Control-Plane Debugging. ATC '13."},{"key":"e_1_3_2_1_36_1","volume-title":"WiDs Checker: Combating Bugs in Distributed Systems. NSDI '07","author":"Liu X.","unstructured":"X. Liu . WiDs Checker: Combating Bugs in Distributed Systems. NSDI '07 . X. Liu. WiDs Checker: Combating Bugs in Distributed Systems. NSDI '07."},{"key":"e_1_3_2_1_37_1","volume-title":"NSDI '08","author":"Liu X.","unstructured":"X. Liu , Z. Guo , X. Wang , F. Chen , X. Lian , J. Tang , M. Wu , M. F. Kaashoek , and Z. Zhang . D3S: Debugging Deployed Distributed Systems . NSDI '08 . X. Liu, Z. Guo, X. Wang, F. Chen, X. Lian, J. Tang, M. Wu, M. F. Kaashoek, and Z. Zhang. D3S: Debugging Deployed Distributed Systems. NSDI '08."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"e_1_3_2_1_39_1","unstructured":"J. Mccauley. POX: A Python-based OpenFlow Controller. http:\/\/www.noxrepo.org\/pox\/about-pox\/.  J. Mccauley. POX: A Python-based OpenFlow Controller. http:\/\/www.noxrepo.org\/pox\/about-pox\/."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_3_2_1_41_1","volume-title":"Minus Two: Some Limits on Our Capacity for Processing Information. Psychological Review '56","author":"Miller G. A.","unstructured":"G. A. Miller . The Magical Number Seven , Plus or Minus Two: Some Limits on Our Capacity for Processing Information. Psychological Review '56 . G. A. Miller. The Magical Number Seven, Plus or Minus Two: Some Limits on Our Capacity for Processing Information. Psychological Review '56."},{"key":"e_1_3_2_1_42_1","volume-title":"Finding and Reproducing Heisenbugs in Concurrent Programs. SOSP '08","author":"Musuvathi M.","unstructured":"M. Musuvathi , S. Qadeer , T. Ball , G. Basler , P. A. Nainar , and I. Neamtiu . Finding and Reproducing Heisenbugs in Concurrent Programs. SOSP '08 . M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. SOSP '08."},{"key":"e_1_3_2_1_43_1","unstructured":"ON.Lab. Open Networking Operating System. http:\/\/onlab.us\/tools.html.  ON.Lab. Open Networking Operating System. http:\/\/onlab.us\/tools.html."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_46_1","volume-title":"HotNets '09","author":"Pfaff B.","unstructured":"B. Pfaff , J. Pettit , K. Amidon , M. Casado , T. Koponen , and S. Shenker . Extending Networking into the Virtualization Layer . HotNets '09 . B. Pfaff, J. Pettit, K. Amidon, M. Casado, T. Koponen, and S. Shenker. Extending Networking into the Virtualization Layer. HotNets '09."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_48_1","volume-title":"Pip: Detecting the Unexpected in Distributed Systems. NSDI '06","author":"Reynolds P.","unstructured":"P. Reynolds , C. Killian , J. L. Winer , J. C. Mogul , M. A. Shah , and A. Vadhat . Pip: Detecting the Unexpected in Distributed Systems. NSDI '06 . P. Reynolds, C. Killian, J. L. Winer, J. C. Mogul, M. A. Shah, and A. Vadhat. Pip: Detecting the Unexpected in Distributed Systems. NSDI '06."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1899928.1899941"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273491"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168724","volume-title":"Introduction to Distributed Algorithms. Thm. 2.21","author":"Tel G.","year":"2000","unstructured":"G. Tel . Introduction to Distributed Algorithms. Thm. 2.21 . Cambridge University Press , 2000 . G. Tel. Introduction to Distributed Algorithms. Thm. 2.21. Cambridge University Press, 2000."},{"key":"e_1_3_2_1_52_1","unstructured":"A. Thompson. http:\/\/tinyurl.com\/qgc387k.  A. Thompson. http:\/\/tinyurl.com\/qgc387k."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"e_1_3_2_1_54_1","volume-title":"Program Slicing. ICSE '81","author":"Weiser M.","unstructured":"M. Weiser . Program Slicing. ICSE '81 . M. Weiser. Program Slicing. ICSE '81."},{"key":"e_1_3_2_1_55_1","volume-title":"SOSP '04","author":"Whitaker A.","unstructured":"A. Whitaker , R. Cox , and S. Gribble . Configuration Debugging as Search: Finding the Needle in the Haystack . SOSP '04 . A. Whitaker, R. Cox, and S. Gribble. Configuration Debugging as Search: Finding the Needle in the Haystack. SOSP '04."},{"key":"e_1_3_2_1_56_1","volume-title":"OFRewind: Enabling Record and Replay Troubleshooting for Networks. ATC '11","author":"Wundsam A.","unstructured":"A. Wundsam , D. Levin , S. Seetharaman , and A. Feldmann . OFRewind: Enabling Record and Replay Troubleshooting for Networks. ATC '11 . A. Wundsam, D. Levin, S. Seetharaman, and A. Feldmann. OFRewind: Enabling Record and Replay Troubleshooting for Networks. ATC '11."},{"key":"e_1_3_2_1_57_1","volume-title":"Science of Computer Programming '04","author":"Yemini S.","unstructured":"S. Yemini , S. Kliger , E. Mozes , Y. Yemini , and D. Ohsie . A Survey of Fault Localization Techniques in Computer Networks . Science of Computer Programming '04 . S. Yemini, S. Kliger, E. Mozes, Y. Yemini, and D. Ohsie. A Survey of Fault Localization Techniques in Computer Networks. Science of Computer Programming '04."},{"key":"e_1_3_2_1_58_1","volume-title":"ESEC\/FSE '99","author":"Zeller A.","unstructured":"A. Zeller . Yesterday , my program worked. Today, it does not. Why? ESEC\/FSE '99 . A. Zeller. Yesterday, my program worked. Today, it does not. Why? ESEC\/FSE '99."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"e_1_3_2_1_61_1","volume-title":"NSDI '14","author":"Zeng H.","unstructured":"H. Zeng , S. Zhang , F. Ye , V. Jeyakumar , M. Ju , J. Liu , N. McKeown , and A. Vahdat . Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks . NSDI '14 . H. Zeng, S. Zhang, F. Ye, V. Jeyakumar, M. Ju, J. Liu, N. McKeown, and A. Vahdat. Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks. NSDI '14."}],"event":{"name":"SIGCOMM'14: ACM SIGCOMM 2014 Conference","location":"Chicago Illinois USA","acronym":"SIGCOMM'14","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 2014 ACM conference on SIGCOMM"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2619239.2626304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2619239.2626304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:28:15Z","timestamp":1750217295000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2619239.2626304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,17]]},"references-count":61,"alternative-id":["10.1145\/2619239.2626304","10.1145\/2619239"],"URL":"https:\/\/doi.org\/10.1145\/2619239.2626304","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2740070.2626304","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,8,17]]},"assertion":[{"value":"2014-08-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}