{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T17:54:15Z","timestamp":1776275655127,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T00:00:00Z","timestamp":1722643200000},"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":[[2024,8,3]]},"DOI":"10.1145\/3663408.3663420","type":"proceedings-article","created":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T12:23:29Z","timestamp":1719923009000},"page":"81-87","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Scaling Data Plane Verification via Parallelization"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-6381-7728","authenticated-orcid":false,"given":"Sisi","family":"Wen","sequence":"first","affiliation":[{"name":"ByteDance Inc, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1705-873X","authenticated-orcid":false,"given":"Anubhavnidhi","family":"Abhashkumar","sequence":"additional","affiliation":[{"name":"ByteDance Inc, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2550-756X","authenticated-orcid":false,"given":"Chenyang","family":"Zhao","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4884-0848","authenticated-orcid":false,"given":"Weirong","family":"Jiang","sequence":"additional","affiliation":[{"name":"ByteDance Inc, USA"}]}],"member":"320","published-online":{"date-parts":[[2024,8,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. The Internet2 Observatory."},{"key":"e_1_3_2_1_2_1","unstructured":"2012. Hassel the header space library."},{"key":"e_1_3_2_1_3_1","unstructured":"2017. Airtel dataset."},{"key":"e_1_3_2_1_4_1","unstructured":"2021. Hyperscale Data Center Count Grows to 659 \u2013 ByteDance Joins the Leading Group. https:\/\/www.srgresearch.com\/articles\/hyperscale-data-center-count-grows-to-659-bytedance-joins-the-leading-group. Last accessed on Sep 14 2023."},{"key":"e_1_3_2_1_5_1","unstructured":"2022. Flash code."},{"key":"e_1_3_2_1_6_1","volume-title":"Cloudflare Radar. https:\/\/radar.cloudflare.com. Last accessed on","year":"2023","unstructured":"2023. Cloudflare Radar. https:\/\/radar.cloudflare.com. Last accessed on Sep 14, 2023."},{"key":"e_1_3_2_1_7_1","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Abhashkumar Anubhavnidhi","year":"2020","unstructured":"Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast multilayer network verification. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). 201\u2013219."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88885-5_10"},{"key":"e_1_3_2_1_9_1","volume-title":"HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. In 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE, 87\u201390","author":"Capogrosso Luigi","year":"2023","unstructured":"Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, and Tiziano Villa. 2023. HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package. In 2023 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE, 87\u201390."},{"key":"e_1_3_2_1_10_1","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)","author":"Fogel Ari","year":"2015","unstructured":"Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015. A General Approach to Network Configuration Analysis. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). USENIX Association, Oakland, CA, 469\u2013483. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/fogel"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544246"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3610845"},{"key":"e_1_3_2_1_13_1","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)","author":"Horn Alex","year":"2017","unstructured":"Alex Horn, Ali Kheradmand, and Mukul Prasad. 2017. Delta-net: Real-time network verification using atoms. In 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). 735\u2013749."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342094"},{"key":"e_1_3_2_1_15_1","unstructured":"J\u00f8rn Lind-Nielsen. 1999. BuDDy: A binary decision diagram package. (1999)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10431-7_4"},{"key":"e_1_3_2_1_17_1","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Prabhu Santhosh","year":"2020","unstructured":"Santhosh Prabhu, Kuan\u00a0Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar. 2020. Plankton: Scalable network configuration verification through model checking. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). 953\u2013967."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604843"},{"key":"e_1_3_2_1_19_1","volume-title":"11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)","author":"Zeng Hongyi","year":"2014","unstructured":"Hongyi Zeng, Shidong Zhang, Fei Ye, Vimalkumar Jeyakumar, Mickey Ju, Junda Liu, Nick McKeown, and Amin Vahdat. 2014. Libra: Divide and conquer to verify forwarding tables in huge networks. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). 87\u201399."},{"key":"e_1_3_2_1_20_1","volume-title":"APKeep: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Zhang Peng","year":"2020","unstructured":"Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, and Hao Li. 2020. APKeep: Realtime Verification for Real Networks. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). 241\u2013255."}],"event":{"name":"APNet 2024: The 8th Asia-Pacific Workshop on Networking","location":"Sydney Australia","acronym":"APNet 2024"},"container-title":["Proceedings of the 8th Asia-Pacific Workshop on Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663408.3663420","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3663408.3663420","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:32:35Z","timestamp":1755905555000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3663408.3663420"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,3]]},"references-count":20,"alternative-id":["10.1145\/3663408.3663420","10.1145\/3663408"],"URL":"https:\/\/doi.org\/10.1145\/3663408.3663420","relation":{},"subject":[],"published":{"date-parts":[[2024,8,3]]},"assertion":[{"value":"2024-08-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}