{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:36:27Z","timestamp":1756312587193,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,8,22]],"date-time":"2014-08-22T00:00:00Z","timestamp":1408665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"C-FAR"},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["TC-1111520"],"award-info":[{"award-number":["TC-1111520"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006734","name":"Princeton University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006734","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,8,22]]},"DOI":"10.1145\/2620728.2620743","type":"proceedings-article","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T13:53:50Z","timestamp":1407851630000},"page":"91-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":40,"title":["An assertion language for debugging SDN applications"],"prefix":"10.1145","author":[{"given":"Ryan","family":"Beckett","sequence":"first","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}]},{"given":"Xuan Kelvin","family":"Zou","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}]},{"given":"Shuyuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}]},{"given":"Sharad","family":"Malik","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, USA"}]},{"given":"Jennifer","family":"Rexford","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":[[2014,8,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Pox. http:\/\/www.noxrepo.org\/pox\/about-pox\/.  Pox. http:\/\/www.noxrepo.org\/pox\/about-pox\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413206"},{"key":"e_1_3_2_1_3_1","first-page":"71","volume-title":"11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)","author":"Handigol N.","year":"2014","unstructured":"Handigol , N. , Heller , B. , Jeyakumar , V. , Mazi\u00e9res , D. , and McKeown , N. I know what your packet did last hop: Using packet histories to troubleshoot networks . In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14) ( Apr. 2014 ), USENIX Association , pp. 71 -- 85 . Handigol, N., Heller, B., Jeyakumar, V., Mazi\u00e9res, D., and McKeown, N. I know what your packet did last hop: Using packet histories to troubleshoot networks. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14) (Apr. 2014), USENIX Association, pp. 71--85."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2482626.2482638"},{"key":"e_1_3_2_1_5_1","first-page":"113","volume-title":"Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI (San Jose","author":"Kazemian P.","year":"2012","unstructured":"Kazemian , P. , Varghese , G. , and McKeown , N. Header space analysis: Static checking for networks . In Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI (San Jose , CA, 2012 ), USENIX , pp. 113 -- 126 . Kazemian, P., Varghese, G., and McKeown, N. Header space analysis: Static checking for networks. In Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI (San Jose, CA, 2012), USENIX, pp. 113--126."},{"key":"e_1_3_2_1_6_1","first-page":"15","volume-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation","author":"Khurshid A.","year":"2013","unstructured":"Khurshid , A. , Zou , X. , Zhou , W. , Caesar , M. , and Godfrey , P. B . Veriflow: Verifying network-wide invariants in real time . In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation ( 2013 ), pp. 15 -- 28 . Khurshid, A., Zou, X., Zhou, W., Caesar, M., and Godfrey, P. B. Veriflow: Verifying network-wide invariants in real time. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (2013), pp. 15--28."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Mai H. Khurshid A. Agarwal R. Caesar M. Godfrey P. B. and King S. T. Debugging the data plane with anteater. 290--301.  Mai H. Khurshid A. Agarwal R. Caesar M. Godfrey P. B. and King S. T. Debugging the data plane with anteater. 290--301.","DOI":"10.1145\/2043164.2018470"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2482626.2482629"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491187"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535792"},{"key":"e_1_3_2_1_11_1","first-page":"29","volume-title":"Proceedings of the 2011 USENIX Conference on Annual Technical Conference","author":"Wundsam A.","year":"2011","unstructured":"Wundsam , A. , Levin , D. , Seetharaman , S. , and Feldmann , A . Ofrewind: Enabling record and replay troubleshooting for networks . In Proceedings of the 2011 USENIX Conference on Annual Technical Conference ( 2011 ), pp. 29 -- 29 . Wundsam, A., Levin, D., Seetharaman, S., and Feldmann, A. Ofrewind: Enabling record and replay troubleshooting for networks. In Proceedings of the 2011 USENIX Conference on Annual Technical Conference (2011), pp. 29--29."}],"event":{"name":"SIGCOMM'14: ACM SIGCOMM 2014 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Chicago Illinois USA","acronym":"SIGCOMM'14"},"container-title":["Proceedings of the third workshop on Hot topics in software defined networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2620728.2620743","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2620728.2620743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:45Z","timestamp":1750231185000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2620728.2620743"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,22]]},"references-count":11,"alternative-id":["10.1145\/2620728.2620743","10.1145\/2620728"],"URL":"https:\/\/doi.org\/10.1145\/2620728.2620743","relation":{},"subject":[],"published":{"date-parts":[[2014,8,22]]},"assertion":[{"value":"2014-08-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}