{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T23:17:00Z","timestamp":1769555820283,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":57,"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"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N68335-22-C-0411"],"award-info":[{"award-number":["N68335-22-C-0411"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["FMiTF-1918396"],"award-info":[{"award-number":["FMiTF-1918396"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR001120C0107"],"award-info":[{"award-number":["HR001120C0107"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,9,10]]},"DOI":"10.1145\/3603269.3604856","type":"proceedings-article","created":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T16:16:29Z","timestamp":1693584989000},"page":"182-194","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Hydra: Effective Runtime Network Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-7853-9440","authenticated-orcid":false,"given":"Sundararajan","family":"Renganathan","sequence":"first","affiliation":[{"name":"Stanford University, Stanford, CA, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-6404-2522","authenticated-orcid":false,"given":"Benny","family":"Rubin","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0650-5339","authenticated-orcid":false,"given":"Hyojoon","family":"Kim","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6610-0547","authenticated-orcid":false,"given":"Pier Luigi","family":"Ventre","sequence":"additional","affiliation":[{"name":"Intel, Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3159-2267","authenticated-orcid":false,"given":"Carmelo","family":"Cascone","sequence":"additional","affiliation":[{"name":"Intel, Stanta Clara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6272-7510","authenticated-orcid":false,"given":"Daniele","family":"Moro","sequence":"additional","affiliation":[{"name":"Intel, Pordenone, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4468-725X","authenticated-orcid":false,"given":"Charles","family":"Chan","sequence":"additional","affiliation":[{"name":"Intel, Santa Clara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-3657-3933","authenticated-orcid":false,"given":"Nick","family":"McKeown","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6557-684X","authenticated-orcid":false,"given":"Nate","family":"Foster","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"19","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Al-Fares Mohammad","year":"2010","unstructured":"Mohammad Al-Fares, Sivasankar Radhakrishnan, Barath Raghavan, Nelson Huang, and Amin Vahdat. Hedera: Dynamic flow scheduling for data center networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), page 19, 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544220"},{"key":"e_1_3_2_1_3_1","first-page":"503","volume-title":"Francis Matus, Rong Pan, Navindra Yadav, and George Varghese. Conga: Distributed congestion-aware load balancing for datacenters","author":"Alizadeh Mohammad","year":"2014","unstructured":"Mohammad Alizadeh, Tom Edsall, Sarang Dharmapurikar, Ramanan Vaidyanathan, Kevin Chu, Andy Fingerhut, Vinh The Lam, Francis Matus, Rong Pan, Navindra Yadav, and George Varghese. Conga: Distributed congestion-aware load balancing for datacenters. In ACM Special Interest Group on Data Communications (SIGCOMM), page 503--514, 2014."},{"key":"e_1_3_2_1_4_1","first-page":"113","volume-title":"ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"Anderson Carolyn Jane","year":"2014","unstructured":"Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. NetKAT: Semantic foundations for networks. In ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 113--126, 2014."},{"key":"e_1_3_2_1_5_1","first-page":"355","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Arumugam Manikandan","year":"2022","unstructured":"Manikandan Arumugam, Deepak Bansal, Navdeep Bhatia, James Boerner, Simon Capper, Changhoon Kim, Sarah McClure, Neeraj Motwani, Ranga Narasimhan, Urvish Panchal, Tommaso Pimpo, Ariff Premji, Pranjal Shrivastava, and Rishabh Tewari. Bluebird: High-performance SDN for bare-metal cloud services. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 355--370, 2022."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"e_1_3_2_1_8_1","volume-title":"ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)","author":"Beckett Ryan","year":"2019","unstructured":"Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. Abstract interpretation of distributed network control planes. In ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), 2019."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14977-6_2"},{"key":"e_1_3_2_1_10_1","first-page":"127","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Canini Marco","year":"2012","unstructured":"Marco Canini, Daniele Venzano, Peter Peresini, Dejan Kostic, and Jennifer Rexford. A NICE way to test OpenFlow applications. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 127--140, 2012."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_36"},{"key":"e_1_3_2_1_12_1","unstructured":"P4 Language Consortium. P4Lang Tutorials Fetched July 15th 2023. https:\/\/github.com\/p4lang\/tutorials."},{"key":"e_1_3_2_1_13_1","first-page":"854","volume-title":"International Joint Conference on Artificial Intelligence (IJCAI)","author":"Giacomo Giuseppe De","year":"2013","unstructured":"Giuseppe De Giacomo and Moshe Y. Vardi. Linear temporal logic and linear dynamic logic on finite traces. In International Joint Conference on Artificial Intelligence (IJCAI), page 854--860, 2013."},{"key":"e_1_3_2_1_14_1","volume-title":"LTL with the freeze quantifier and register automata. ACM Transactions on Computational Logic (TOCL), apr","author":"Demri St\u00e9phane","year":"2009","unstructured":"St\u00e9phane Demri and Ranko Lazi\u0107. LTL with the freeze quantifier and register automata. ACM Transactions on Computational Logic (TOCL), apr 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405888"},{"key":"e_1_3_2_1_16_1","first-page":"217","volume-title":"USENIX Conference on Operating Systems Design and Implementation (OSDI)","author":"Fayaz Seyed K.","year":"2016","unstructured":"Seyed K. Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Millstein, Vyas Sekar, and George Varghese. Efficient network reachability analysis using a succinct control plane representation. In USENIX Conference on Operating Systems Design and Implementation (OSDI), page 217--232, 2016."},{"key":"e_1_3_2_1_17_1","first-page":"469","volume-title":"USENIX Conference on Networked Systems Design and Implementation (NSDI)","author":"Fogel Ari","year":"2015","unstructured":"Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. A general approach to network configuration analysis. In USENIX Conference on Networked Systems Design and Implementation (NSDI), page 469--483, 2015."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677011"},{"key":"e_1_3_2_1_19_1","volume-title":"Aether: An open source 5G connected edge platform","author":"Foundation Open Networking","year":"2022","unstructured":"Open Networking Foundation. Aether: An open source 5G connected edge platform, 2022. https:\/\/opennetworking.org\/aether\/."},{"key":"e_1_3_2_1_20_1","volume-title":"Fetched February 15th","author":"Foundation Open Networking","year":"2023","unstructured":"Open Networking Foundation. Software Defined Fabric (SD-Fabric) Release 1.2, Fetched February 15th, 2023. https:\/\/docs.sd-fabric.org\/master\/release\/1.2.0.html."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185499"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"e_1_3_2_1_23_1","first-page":"1","volume-title":"Biometrika","author":"Gosset William Sealey","year":"1908","unstructured":"William Sealey Gosset. The probable error of a mean. Biometrika, pages 1--25, 1908."},{"key":"e_1_3_2_1_24_1","first-page":"71","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Handigol Nikhil","year":"2014","unstructured":"Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David Mazi\u00e8res, and Nick McKeown. I know what your packet did last hop: Using packet histories to troubleshoot networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 71--85, 2014."},{"key":"e_1_3_2_1_25_1","unstructured":"Intel. Intel\u00ae Tofino\u2122. Fetched February 10th 2023. https:\/\/www.intel.com\/content\/www\/us\/en\/products\/network-io\/programmable-ethernet-switch\/tofino-series.html."},{"key":"e_1_3_2_1_26_1","first-page":"200","volume-title":"Neha Milind Raje, and Parag Sharma. Validating datacenters at scale","author":"Jayaraman Karthick","year":"2019","unstructured":"Karthick Jayaraman, Nikolaj Bj\u00f8rner, Jitu Padhye, Amar Agrawal, Ashish Bhargava, Paul-Andre C Bissonnette, Shane Foster, Andrew Helwer, Mark Kasten, Ivan Lee, Anup Namdhari, Haseeb Niaz, Aniruddha Parkhi, Hanukumar Pinnamraju, Adrian Power, Neha Milind Raje, and Parag Sharma. Validating datacenters at scale. In ACM Special Interest Group on Data Communication (SIGCOMM), page 200--213, 2019."},{"key":"e_1_3_2_1_27_1","first-page":"99","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","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 USENIX Symposium on Networked Systems Design and Implementation (NSDI), page 99--112, 2013."},{"key":"e_1_3_2_1_28_1","first-page":"113","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian, George Varghese, and Nick McKeown. Header space analysis: Static checking for networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 113--126, 2012."},{"key":"e_1_3_2_1_29_1","first-page":"421","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Khandelwal Anurag","year":"2019","unstructured":"Anurag Khandelwal, Rachit Agarwal, and Ion Stoica. Confluo: Distributed monitoring and diagnosis stack for high-speed networks. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 421--436, 2019."},{"key":"e_1_3_2_1_30_1","first-page":"15","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Khurshid Ahmed","year":"2013","unstructured":"Ahmed Khurshid, Xuan Zou, Wenxuan Zhou, Matthew Caesar, and P. Brighten Godfrey. Veriflow: Verifying network-wide invariants in real time. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 15--27, 2013."},{"key":"e_1_3_2_1_31_1","volume-title":"January","author":"Kim Hyojoon","year":"2021","unstructured":"Hyojoon Kim, Xiaoqi Chen, Jack Brassil, and Jennifer Rexford. Experience-driven research on programmable networks. ACM SIGCOMM Computer Communication Review (CCR), 51(1):10--17, January 2021."},{"key":"e_1_3_2_1_32_1","first-page":"15","volume-title":"ACM SIGCOMM Workshop on Network Meets AI & ML (NetAI)","author":"Kim Hyojoon","year":"2019","unstructured":"Hyojoon Kim and Arpit Gupta. Ontas: Flexible and scalable online network traffic anonymization system. In ACM SIGCOMM Workshop on Network Meets AI & ML (NetAI), pages 15--21, 2019."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3482898.3483352"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"e_1_3_2_1_36_1","first-page":"499","volume-title":"USENIX Conference on Networked Systems Design and Implementation (NSDI)","author":"Lopes Nuno P.","year":"2015","unstructured":"Nuno P. Lopes, Nikolaj Bj\u00f8rner, Patrice Godefroid, Karthick Jayaraman, and George Varghese. Checking beliefs in dynamic networks. In USENIX Conference on Networked Systems Design and Implementation (NSDI), page 499--512, 2015."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3482898.3483358"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/3278532.3278566"},{"key":"e_1_3_2_1_40_1","volume-title":"ACM SIGCOMM Symposium on SDN Research (SOSR)","author":"N\u00f6tzli Andres","year":"2018","unstructured":"Andres N\u00f6tzli, Jehandad Khan, Andy Fingerhut, Clark Barrett, and Peter Athanas. P4Pktgen: Automated test case generation for P4 programs. In ACM SIGCOMM Symposium on SDN Research (SOSR), 2018."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"e_1_3_2_1_42_1","volume-title":"Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, and Nate Foster. Hydra: Effective network verification (full version)","author":"Renganathan Sundararajan","year":"2023","unstructured":"Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, and Nate Foster. Hydra: Effective network verification (full version), September 2023. Available at https:\/\/www.cs.cornell.edu\/~jnfoster\/papers\/hydra-tr.pdf."},{"key":"e_1_3_2_1_43_1","volume-title":"P4Testgen: An extensible test oracle for P4","author":"Ruffy Fabian","year":"2023","unstructured":"Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojt\u0115ch Havel, Hanneli Tavante, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, and Nate Foster. P4Testgen: An extensible test oracle for P4. In ACM Special Interest Group on Data Communications (SIGCOMM), 2023. To appear."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2999653"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230548"},{"key":"e_1_3_2_1_46_1","first-page":"233","volume-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Tammana Praveen","year":"2016","unstructured":"Praveen Tammana, Rachit Agarwal, and Myungjin Lee. Simplifying datacenter network debugging with Pathdump. In USENIX Symposium on Operating Systems Design and Implementation (OSDI), page 233--248, 2016."},{"key":"e_1_3_2_1_47_1","first-page":"453","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Tammana Praveen","year":"2018","unstructured":"Praveen Tammana, Rachit Agarwal, and Myungjin Lee. Distributed network monitoring and debugging with SwitchPointer. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 453--456, 2018."},{"key":"e_1_3_2_1_48_1","first-page":"17","volume-title":"Ming Zhang, Chen Tian, and Minlan Yu. Aquila: A practically usable verification system for production-scale programmable data planes","author":"Tian Bingchuan","year":"2021","unstructured":"Bingchuan Tian, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Yanqing Chen, Yu Zhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu, Xionglie Wei, Hongqiang Harry Liu, Ming Zhang, Chen Tian, and Minlan Yu. Aquila: A practically usable verification system for production-scale programmable data planes. In ACM Special Interest Group on Data Communications (SIGCOMM), page 17--32, 2021."},{"key":"e_1_3_2_1_49_1","volume-title":"August","author":"Wu Xin","year":"2012","unstructured":"Xin Wu, Daniel Turner, Chao-Chih Chen, David A. Maltz, Xiaowei Yang, Lihua Yuan, and Ming Zhang. Netpilot: Automating datacenter network failure mitigation. ACM SIGCOMM Computer Communication Review (CCR), 42(4):419--430, August 2012."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"e_1_3_2_1_53_1","first-page":"701","volume-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Yaseen Nofel","year":"2020","unstructured":"Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, and Vincent Liu. Aragog: Scalable runtime verification of shardable networked systems. In USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 701--718, 2020."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"e_1_3_2_1_55_1","first-page":"87","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","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 USENIX Symposium on Networked Systems Design and Implementation (NSDI), page 87--99, 2014."},{"key":"e_1_3_2_1_56_1","first-page":"221","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Zhang Kaiyuan","year":"2020","unstructured":"Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, and Xi Wang. Automated verification of customizable middlebox properties with gravel. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), pages 221--239, 2020."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999605"}],"event":{"name":"ACM SIGCOMM '23: ACM SIGCOMM 2023 Conference","location":"New York NY USA","acronym":"ACM SIGCOMM '23","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the ACM SIGCOMM 2023 Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603269.3604856","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3603269.3604856","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3603269.3604856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:42Z","timestamp":1750178802000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603269.3604856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":57,"alternative-id":["10.1145\/3603269.3604856","10.1145\/3603269"],"URL":"https:\/\/doi.org\/10.1145\/3603269.3604856","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"}}]}}