{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T07:16:08Z","timestamp":1760426168322,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T00:00:00Z","timestamp":1693526400000},"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":[[2023,9,10]]},"DOI":"10.1145\/3603269.3610845","type":"proceedings-article","created":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T16:16:29Z","timestamp":1693584989000},"page":"1141-1143","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Poster: Scaling Data Plane Verification with Throughput-Optimized Atomic Predicates"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1744-8998","authenticated-orcid":false,"given":"Dong","family":"Guo","sequence":"first","affiliation":[{"name":"Tongji University, Shanghai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4521-2125","authenticated-orcid":false,"given":"Jian","family":"Luo","sequence":"additional","affiliation":[{"name":"Sichuan University, Chengdu, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2037-4427","authenticated-orcid":false,"given":"Kai","family":"Gao","sequence":"additional","affiliation":[{"name":"Sichuan University, Chengdu, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7460-8164","authenticated-orcid":false,"given":"Y. Richard","family":"Yang","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2023,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544246"},{"key":"e_1_3_2_1_2_1","first-page":"241","volume-title":"Proceedings of the 17th Usenix Conference 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. APKeep: Realtime network verification for real networks. In Proceedings of the 17th Usenix Conference on Networked Systems Design and Implementation, NSDI'20, pages 241--256, USA, 2020. USENIX Association. ISBN 978-1-939133-13-7."},{"key":"e_1_3_2_1_3_1","first-page":"735 37","volume-title":"Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation, NSDI'17","author":"Horn Alex","year":"2017","unstructured":"Alex Horn, Ali Kheradmand, and Mukul R. Prasad. Delta-net: Real-time network verification using atoms. In Proceedings of the 14th USENIX Conference on Networked Systems Design and Implementation, NSDI'17, pages 735--749, USA, 2017. USENIX Association. ISBN 978-1-931971-37-9."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"e_1_3_2_1_5_1","volume-title":"Nick McKeown. Header Space Analysis: Static Checking For Networks. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation, NSDI'12","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian, George Varghese, and Nick McKeown. Header Space Analysis: Static Checking For Networks. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation, NSDI'12, USA, 2012."},{"key":"e_1_3_2_1_6_1","first-page":"99","volume-title":"10th USENIX Symposium on Networked Systems Design and Implementation, NSDI'13","author":"Kazemian Peyman","year":"2013","unstructured":"Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, and Scott Whyte. Real time network policy checking using header space analysis. In 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI'13, pages 99--111, Lombard, IL, April 2013. USENIX Association."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2720172"},{"key":"e_1_3_2_1_8_1","first-page":"601","volume-title":"Hao Li. Differential Network Analysis. In 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI'22","author":"Zhang Peng","year":"2022","unstructured":"Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li. Differential Network Analysis. In 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI'22, pages 601--615, Renton, WA, April 2022. USENIX Association."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563766.3564095"},{"key":"e_1_3_2_1_10_1","volume-title":"A BDD and Z-BDD Library written in Java","author":"Vahidi Arash","year":"2023","unstructured":"Arash Vahidi. A BDD and Z-BDD Library written in Java, 2023. URL https:\/\/bitbucket.org\/vahidi\/jdd."},{"key":"e_1_3_2_1_11_1","volume-title":"Buddy: A bdd package","author":"Jorn Lind-Nielsen","year":"1999","unstructured":"Lind-Nielsen Jorn. Buddy: A bdd package, 1999. URL https:\/\/buddy.sourceforge.net\/manual\/main.html."},{"key":"e_1_3_2_1_12_1","volume-title":"Cudd: Cu decision diagram package","author":"Somenzi Fabio","year":"1999","unstructured":"Fabio Somenzi. Cudd: Cu decision diagram package, 1999. URL https:\/\/add-lib.scce.info\/assets\/documents\/cudd-manual.pdf."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10431-7_4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88885-5_10"},{"key":"e_1_3_2_1_15_1","volume-title":"HermesBDD: A multi-core and multi-platform binary decision diagram package. arXiv preprint arXiv:2305.00039","author":"Capogrosso Luigi","year":"2023","unstructured":"Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, and Tiziano Villa. HermesBDD: A multi-core and multi-platform binary decision diagram package. arXiv preprint arXiv:2305.00039, 2023."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-016-0433-2"},{"key":"e_1_3_2_1_17_1","first-page":"87","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. Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks. In 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI'14, pages 87--99, Seattle, WA, April 2014. USENIX Association."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342094"},{"key":"e_1_3_2_1_19_1","volume-title":"Efficient multi-word compare and swap","author":"Guerraoui Rachid","year":"2020","unstructured":"Rachid Guerraoui, Alex Kogan, Virendra J. Marathe, and Igor Zablotchi. Efficient multi-word compare and swap, 2020."}],"event":{"name":"ACM SIGCOMM '23: ACM SIGCOMM 2023 Conference","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"New York NY USA","acronym":"ACM SIGCOMM '23"},"container-title":["Proceedings of the ACM SIGCOMM 2023 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603269.3610845","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3603269.3610845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:43Z","timestamp":1750178803000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603269.3610845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":19,"alternative-id":["10.1145\/3603269.3610845","10.1145\/3603269"],"URL":"https:\/\/doi.org\/10.1145\/3603269.3610845","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]},"assertion":[{"value":"2023-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}