{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:17Z","timestamp":1750219937645,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T00:00:00Z","timestamp":1668384000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSFC","award":["62172345"],"award-info":[{"award-number":["62172345"]}]},{"name":"Alibaba Innovative Research Award"},{"name":"NSF-Fujian-China","award":["2022J01004"],"award-info":[{"award-number":["2022J01004"]}]},{"name":"Tan Kah Kee Innovation Laboratory Award","award":["HRTP-2022-34"],"award-info":[{"award-number":["HRTP-2022-34"]}]},{"name":"National Key R&D Program of China","award":["2022YFB2901502"],"award-info":[{"award-number":["2022YFB2901502"]}]},{"name":"Open Research Projects of Zhejiang Lab","award":["2022QA0AB05"],"award-info":[{"award-number":["2022QA0AB05"]}]},{"name":"Future Network Innovation Research Award of Ministry of Education of China","award":["2021FNA02008"],"award-info":[{"award-number":["2021FNA02008"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,14]]},"DOI":"10.1145\/3563766.3564095","type":"proceedings-article","created":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T16:29:31Z","timestamp":1668443371000},"page":"85-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Network can check itself"],"prefix":"10.1145","author":[{"given":"Qiao","family":"Xiang","sequence":"first","affiliation":[{"name":"Xiamen University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ridi","family":"Wen","sequence":"additional","affiliation":[{"name":"Xiamen University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenyang","family":"Huang","sequence":"additional","affiliation":[{"name":"Xiamen University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuxin","family":"Wang","sequence":"additional","affiliation":[{"name":"Xiamen University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Le","sequence":"additional","affiliation":[{"name":"IBM Research"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"e_1_3_2_1_2_1","volume-title":"Netkat: Semantic foundations for networks. Acm sigplan notices, 49(1):113--126","author":"Anderson C. J.","year":"2014","unstructured":"C. J. Anderson , N. Foster , A. Guha , J.-B. Jeannin , D. Kozen , C. Schlesinger , and D. Walker . Netkat: Semantic foundations for networks. Acm sigplan notices, 49(1):113--126 , 2014 . C. J. Anderson, N. Foster, A. Guha, J.-B. Jeannin, D. Kozen, C. Schlesinger, and D. Walker. Netkat: Semantic foundations for networks. Acm sigplan notices, 49(1):113--126, 2014."},{"key":"e_1_3_2_1_3_1","unstructured":"A. Authors. Coral system functionality demonstration. http:\/\/distributeddpvdemo.tech\/ 2022.  A. Authors. Coral system functionality demonstration. http:\/\/distributeddpvdemo.tech\/ 2022."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/www.ufispace.com\/uploads\/able\/files\/productfilemanager\/000045467d1fc648d792c404372956a0.pdf","author":"Switch X","year":"2019","unstructured":"Barefoot S9180-32 X Switch . https:\/\/www.ufispace.com\/uploads\/able\/files\/productfilemanager\/000045467d1fc648d792c404372956a0.pdf , 2019 . Barefoot S9180-32X Switch. https:\/\/www.ufispace.com\/uploads\/able\/files\/productfilemanager\/000045467d1fc648d792c404372956a0.pdf, 2019."},{"key":"e_1_3_2_1_5_1","first-page":"617","volume-title":"19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)","author":"Beckett R.","year":"2022","unstructured":"R. Beckett and A. Gupta . Katra: Realtime verification for multilayer networks . In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) , pages 617 -- 634 , 2022 . R. Beckett and A. Gupta. Katra: Realtime verification for multilayer networks. In 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), pages 617--634, 2022."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230546"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230549"},{"key":"e_1_3_2_1_9_1","volume-title":"https:\/\/www.edge-core.com\/productsInfo.php?cls=1&cls2=5&cls3=181&id=335","author":"Switch X","year":"2021","unstructured":"Edgecore Wedge32-100 X Switch . https:\/\/www.edge-core.com\/productsInfo.php?cls=1&cls2=5&cls3=181&id=335 , 2021 . Edgecore Wedge32-100X Switch. https:\/\/www.edge-core.com\/productsInfo.php?cls=1&cls2=5&cls3=181&id=335, 2021."},{"volume-title":"https:\/\/www.cnbc.com\/2021\/10\/04\/facebook-workers-lose-access-to-internal-tools-following-outage.html","year":"2021","key":"e_1_3_2_1_10_1","unstructured":"Facebook Employees Were Unable to Access Critical Work Tools During Six-Hour Outage. https:\/\/www.cnbc.com\/2021\/10\/04\/facebook-workers-lose-access-to-internal-tools-following-outage.html , 2021 . Facebook Employees Were Unable to Access Critical Work Tools During Six-Hour Outage. https:\/\/www.cnbc.com\/2021\/10\/04\/facebook-workers-lose-access-to-internal-tools-following-outage.html, 2021."},{"key":"e_1_3_2_1_11_1","first-page":"469","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Fogel A.","year":"2015","unstructured":"A. Fogel , S. Fung , L. Pedrosa , M. Walraed-Sullivan , R. Govindan , R. Mahajan , and T. Millstein . A general approach to network configuration analysis . In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI) , pages 469 -- 483 , 2015 . A. Fogel, S. Fung, L. Pedrosa, M. Walraed-Sullivan, R. Govindan, R. Mahajan, and T. Millstein. A general approach to network configuration analysis. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 469--483, 2015."},{"key":"e_1_3_2_1_12_1","volume-title":"Openflow switch specification 1.5.1","author":"Foundation O. N.","year":"2015","unstructured":"O. N. Foundation . Openflow switch specification 1.5.1 . Open Networking Foundation ( on-line), Mar. 2015 . O. N. Foundation. Openflow switch specification 1.5.1. Open Networking Foundation (on-line), Mar. 2015."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3152434.3152439"},{"key":"e_1_3_2_1_14_1","first-page":"735","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Horn A.","year":"2017","unstructured":"A. Horn , A. Kheradmand , and M. Prasad . Delta-net: Real-time network verification using atoms . In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI) , pages 735 -- 749 , 2017 . A. Horn, A. Kheradmand, and M. Prasad. Delta-net: Real-time network verification using atoms. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 735--749, 2017."},{"key":"e_1_3_2_1_15_1","volume-title":"Contra: A programmable system for performance-aware routing. to apper at NSDI'20","author":"Hsu K.-F.","year":"2020","unstructured":"K.-F. Hsu , R. Beckett , A. Chen , J. Rexford , P. Tammana , and D. Walker . Contra: A programmable system for performance-aware routing. to apper at NSDI'20 , 2020 . K.-F. Hsu, R. Beckett, A. Chen, J. Rexford, P. Tammana, and D. Walker. Contra: A programmable system for performance-aware routing. to apper at NSDI'20, 2020."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342094"},{"key":"e_1_3_2_1_17_1","first-page":"99","volume-title":"NSDI","author":"Kazemian P.","year":"2013","unstructured":"P. Kazemian , M. Chan , H. Zeng , G. Varghese , N. McKeown , and S. Whyte . Real time network policy checking using header space analysis . In NSDI , pages 99 -- 111 , 2013 . P. Kazemian, M. Chan, H. Zeng, G. Varghese, N. McKeown, and S. Whyte. Real time network policy checking using header space analysis. In NSDI, pages 99--111, 2013."},{"key":"e_1_3_2_1_18_1","first-page":"113","volume-title":"NSDI","volume":"12","author":"Kazemian P.","year":"2012","unstructured":"P. Kazemian , G. Varghese , and N. McKeown . Header space analysis: Static checking for networks . In NSDI , volume 12 , pages 113 -- 126 , 2012 . P. Kazemian, G. Varghese, and N. McKeown. Header space analysis: Static checking for networks. In NSDI, volume 12, pages 113--126, 2012."},{"key":"e_1_3_2_1_19_1","first-page":"15","volume-title":"Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Khurshid A.","year":"2013","unstructured":"A. Khurshid , X. Zou , W. Zhou , M. Caesar , and P. B. Godfrey . Veriflow: Verifying network-wide invariants in real time . In Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI) , pages 15 -- 27 , 2013 . A. Khurshid, X. Zou, W. Zhou, M. Caesar, and P. B. Godfrey. Veriflow: Verifying network-wide invariants in real time. In Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 15--27, 2013."},{"key":"e_1_3_2_1_20_1","volume-title":"Achieving convergence-free routing using failure-carrying packets. ACM SIGCOMM computer communication review, 37(4):241--252","author":"Lakshminarayanan K.","year":"2007","unstructured":"K. Lakshminarayanan , M. Caesar , M. Rangan , T. Anderson , S. Shenker , and I. Stoica . Achieving convergence-free routing using failure-carrying packets. ACM SIGCOMM computer communication review, 37(4):241--252 , 2007 . K. Lakshminarayanan, M. Caesar, M. Rangan, T. Anderson, S. Shenker, and I. Stoica. Achieving convergence-free routing using failure-carrying packets. ACM SIGCOMM computer communication review, 37(4):241--252, 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851275.1851210"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/300307.1040360"},{"key":"e_1_3_2_1_23_1","first-page":"499","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Lopes N. P.","year":"2015","unstructured":"N. P. Lopes , N. Bj\u00f8rner , P. Godefroid , K. Jayaraman , and G. Varghese . Checking beliefs in dynamic networks . In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI) , pages 499 -- 512 , 2015 . N. P. Lopes, N. Bj\u00f8rner, P. Godefroid, K. Jayaraman, and G. Varghese. Checking beliefs in dynamic networks. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 499--512, 2015."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"e_1_3_2_1_25_1","volume-title":"https:\/\/www.mellanox.com\/related-docs\/prod_eth_switches\/PB_SN2700.pdf","author":"Switch 0","year":"2015","unstructured":"Mellanox SN270 0 Switch . https:\/\/www.mellanox.com\/related-docs\/prod_eth_switches\/PB_SN2700.pdf , 2015 . Mellanox SN2700 Switch. https:\/\/www.mellanox.com\/related-docs\/prod_eth_switches\/PB_SN2700.pdf, 2015."},{"key":"e_1_3_2_1_26_1","volume-title":"http:\/\/www.internet2.edu\/research-solutions\/research-support\/observatory","author":"Observatory T. I.","year":"2021","unstructured":"T. I. Observatory . The internet2 dataset. http:\/\/www.internet2.edu\/research-solutions\/research-support\/observatory , 2021 . T. I. Observatory. The internet2 dataset. http:\/\/www.internet2.edu\/research-solutions\/research-support\/observatory, 2021."},{"key":"e_1_3_2_1_27_1","volume-title":"On the distributed complexity of large-scale graph computations. ACM Transactions on Parallel Computing (TOPC), 8(2):1--28","author":"Pandurangan G.","year":"2021","unstructured":"G. Pandurangan , P. Robinson , and M. Scquizzato . On the distributed complexity of large-scale graph computations. ACM Transactions on Parallel Computing (TOPC), 8(2):1--28 , 2021 . G. Pandurangan, P. Robinson, and M. Scquizzato. On the distributed complexity of large-scale graph computations. ACM Transactions on Parallel Computing (TOPC), 8(2):1--28, 2021."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837657"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2018.2867239"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3482898.3483360"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2015.7218413"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836095"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2720637"},{"volume-title":"Global ping statistics. https:\/\/wondernetwork.com\/pings","year":"2021","key":"e_1_3_2_1_34_1","unstructured":"WonderNetwork. Global ping statistics. https:\/\/wondernetwork.com\/pings , 2021 . WonderNetwork. Global ping statistics. https:\/\/wondernetwork.com\/pings, 2021."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2013.6733614"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2014.54"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/tnet.2017.2720172"},{"key":"e_1_3_2_1_40_1","first-page":"87","volume-title":"11th USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Zeng H.","year":"2014","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 . In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI) , pages 87 -- 99 , 2014 . 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. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 87--99, 2014."},{"key":"e_1_3_2_1_41_1","first-page":"241","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Zhang P.","year":"2020","unstructured":"P. Zhang , X. Liu , H. Yang , N. Kang , Z. Gu , and H. Li . Apkeep: Realtime verification for real networks . In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI) , pages 241 -- 255 , 2020 . P. Zhang, X. Liu, H. Yang, N. Kang, Z. Gu, and H. Li. Apkeep: Realtime verification for real networks. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 241--255, 2020."}],"event":{"name":"HotNets '22: The 21st ACM Workshop on Hot Topics in Networks","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Austin Texas","acronym":"HotNets '22"},"container-title":["Proceedings of the 21st ACM Workshop on Hot Topics in Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563766.3564095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563766.3564095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:50Z","timestamp":1750182530000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563766.3564095"}},"subtitle":["scaling data plane checking via distributed, on-device verification"],"short-title":[],"issued":{"date-parts":[[2022,11,14]]},"references-count":41,"alternative-id":["10.1145\/3563766.3564095","10.1145\/3563766"],"URL":"https:\/\/doi.org\/10.1145\/3563766.3564095","relation":{},"subject":[],"published":{"date-parts":[[2022,11,14]]},"assertion":[{"value":"2022-11-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}