{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T15:31:30Z","timestamp":1773588690725,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":87,"publisher":"ACM","funder":[{"name":"National Science Foundation","award":["CCF-2006948"],"award-info":[{"award-number":["CCF-2006948"]}]},{"name":"National Science Foundation","award":["CCF-2102940"],"award-info":[{"award-number":["CCF-2102940"]}]},{"name":"National Science Foundation","award":["CCF-2220410"],"award-info":[{"award-number":["CCF-2220410"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3779212.3790150","type":"proceedings-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:55:26Z","timestamp":1773150926000},"page":"546-562","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["CXLMC: Model Checking CXL Shared Memory Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-2651-3238","authenticated-orcid":false,"given":"Simon","family":"Guo","sequence":"first","affiliation":[{"name":"University of California, Irvine, Irvine, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9477-194X","authenticated-orcid":false,"given":"Conan","family":"Truong","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1210-3130","authenticated-orcid":false,"given":"Brian","family":"Demsky","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. CXL 3.2 Specification. https:\/\/computeexpresslink.org\/cxl-specification\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2015. An introduction to pmemcheck (part 1) - basics. https:\/\/pmem. io\/2015\/07\/17\/pmemcheck-basic.html."},{"key":"e_1_3_2_1_3_1","unstructured":"2024. Advantages of CXL Memory Sharing for Emerging Applications. https:\/\/computeexpresslink.org\/wp-content\/uploads\/2025\/06\/ CXL_Q2-2025-Webinar_FINAL.pdf."},{"key":"e_1_3_2_1_4_1","volume-title":"Bengt Jonsson, Carl Leonardsson, and Konstantinos Sagonas.","author":"Abdulla Parosh Aziz","year":"2015","unstructured":"Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, and Konstantinos Sagonas. 2015. State-less Model Checking for TSO and PSO. CoRR abs\/1501.02069 (2015). arXiv:1501.02069 http:\/\/arxiv.org\/abs\/1501.02069"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360576"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276505"},{"key":"e_1_3_2_1_7_1","volume-title":"Aguilera and Svend Fr\u00f8lund","author":"Marcos","year":"2003","unstructured":"Marcos K. Aguilera and Svend Fr\u00f8lund. 2003. Strict Linearizability and the Power of Aborting. https:\/\/api.semanticscholar.org\/CorpusID:16064246"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/BigData62323"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2723711"},{"key":"e_1_3_2_1_10_1","unstructured":"Gal Assa Lucas B\u00fcrgi Michal Friedman and Ori Lahav. 2025. A Programming Model for Disaggregated Memory over CXL. arXiv:2407.16300 [cs.DC] https:\/\/arxiv.org\/abs\/2407.16300"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3212734.3212753"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.DISC.2022.41"},{"key":"e_1_3_2_1_13_1","volume-title":"Octopus: Scalable Low-Cost CXL Memory Pooling. arXiv:2501.09020 [cs.AR] https:\/\/arxiv.org\/abs\/2501.09020","author":"Berger Daniel S.","year":"2025","unstructured":"Daniel S. Berger, Yuhong Zhong, Fiodar Kazhamiaka, Pantea Zardoshti, Shuwei Teng, Mark D. Hill, and Rodrigo Fonseca. 2025. Octopus: Scalable Low-Cost CXL Memory Pooling. arXiv:2501.09020 [cs.AR] https:\/\/arxiv.org\/abs\/2501.09020"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3210377.3210381"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485541"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360550"},{"key":"e_1_3_2_1_17_1","unstructured":"Chen Chen Xinkui Zhao Guanjie Cheng Yuesheng Xu Shuiguang Deng and Jianwei Yin. 2025. Next-Gen Computing Systems with Compute Express Link: a Comprehensive Survey. arXiv:2412.20249 [cs.DC] https:\/\/arxiv.org\/abs\/2412.20249"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454027"},{"key":"e_1_3_2_1_19_1","unstructured":"Jungmin Choi. 2024. CXL Disaggregated Memory Solution for HPC and AI Workloads. https:\/\/files.futurememorystorage.com\/proceedings\/ 2024\/20240807_CXLT-202-1_Choi.pdf."},{"key":"e_1_3_2_1_20_1","unstructured":"Intel Corporation. 2020. Persistent Memory Development Kit. https:\/\/pmem.io\/pmdk\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/102792.102801"},{"key":"e_1_3_2_1_22_1","volume-title":"Article 290 (July","author":"Sharma Debendra Das","year":"2024","unstructured":"Debendra Das Sharma, Robert Blankenship, and Daniel Berger. 2024. An Introduction to the Compute Express Link (CXL) Interconnect. ACM Comput. Surv. 56, 11, Article 290 (July 2024), 37 pages. doi:10. 1145\/3669900"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1996.534626"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446744"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040315"},{"key":"e_1_3_2_1_26_1","unstructured":"LLVM Foundation. 2024. LLVM-20. https:\/\/github.com\/llvm\/llvm-project\/tree\/release\/20.x."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483556"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/311531.311532"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_30_1","first-page":"2","article-title":"Software Model Checking","volume":"26","author":"Godefroid Patrice","year":"2005","unstructured":"Patrice Godefroid. 2005. Software Model Checking: The VeriSoft Approach. Form. Methods Syst. Des. 26, 2 (March 2005), 77-101. doi:10. 1007\/s10703-005-1489-x","journal-title":"The VeriSoft Approach. Form. Methods Syst. Des."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523723"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507766"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446735"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2023.3237491"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2004.1281605"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE60146.2024.00447"},{"key":"e_1_3_2_1_37_1","unstructured":"Sudhanva Gurumurthi Alexander J. Branover Bryan Hornung Vinny Michna Mahesh Natu and Chris Petersen. 2021. An Overview of Reliability Availability and Serviceability (RAS) in Compute Express Link\u2122 2.0. https:\/\/computeexpresslink.org\/wp-content\/uploads\/2023\/ 12\/CXL-RAS-Whitepaper-Post-WG-Revision_FINAL.pdf."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984025"},{"key":"e_1_3_2_1_39_1","volume-title":"19th USENIX Symposium on Operating Systems Design and Implementation (OSDI 25)","author":"Huang Yibo","year":"2025","unstructured":"Yibo Huang, Haowei Chen, Newton Ni, Yan Sun, Vijay Chidambaram, Dixin Tang, and Emmett Witchel. 2025. Tigon: A Distributed Database for a CXL Pod. In 19th USENIX Symposium on Operating Systems Design and Implementation (OSDI 25)."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 2025 Annual Conference on Innovative Data Systems Research.","author":"Huang Yibo","year":"2025","unstructured":"Yibo Huang, Newton Ni, Vijay Chidambaram, Emmett Witchel, and Dixin Tang. 2025. Pasha: An Efficient, Scalable Database Architecture for CXL Pods. In Proceedings of the 2025 Annual Conference on Innovative Data Systems Research."},{"key":"e_1_3_2_1_41_1","volume-title":"Hasan Al Maruf, and Rita Gupta","author":"Jain Sunita","year":"2024","unstructured":"Sunita Jain, Nagaradhesh Yeleswarapu, Hasan Al Maruf, and Rita Gupta. 2024. Memory Sharing with CXL: Hardware and Software Design Approaches. arXiv:2404.03245 [cs.ET] https:\/\/arxiv.org\/abs\/2404.03245"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO61859.2024.00110"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434328"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158105"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314609"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (Philadelphia, PA) (USENIX ATC'14). USENIX Association, USA, 433-438","author":"Lantz Philip","year":"2014","unstructured":"Philip Lantz, Subramanya Dulloor, Sanjay Kumar, Rajesh Sankaran, and Jeff Jackson. 2014. Yat: A validation framework for persistent memory software. In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (Philadelphia, PA) (USENIX ATC'14). USENIX Association, USA, 433-438. https:\/\/www.usenix.org\/conference\/atc14\/technical-sessions\/presentation\/lantz"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12029-9_22"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359635"},{"key":"e_1_3_2_1_50_1","first-page":"399","volume-title":"SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Leesatapornwongsa Tanakorn","unstructured":"Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, and Haryadi S. Gunawi. 2014. SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). USENIX Association, Broomfield, CO, 399-414. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/ presentation\/leesatapornwongsa"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.14778\/3675034.3675047"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3578835"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3676641.3715987"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378452"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304015"},{"key":"e_1_3_2_1_56_1","volume-title":"Proceedings of the 2024 USENIX Conference on Usenix Annual Technical Conference (Santa Clara, CA, USA) (USENIX ATC'24). USENIX Association, USA, Article 24","author":"Ma Teng","year":"2024","unstructured":"Teng Ma, Zheng Liu, Chengkun Wei, Jialiang Huang, Youwei Zhuo, Haoyu Li, Ning Zhang, Yijin Guan, Dimin Niu, Mingxing Zhang, and Tao Ma. 2024. HydraRPC: RPC in the CXL Era. In Proceedings of the 2024 USENIX Conference on Usenix Annual Technical Conference (Santa Clara, CA, USA) (USENIX ATC'24). USENIX Association, USA, Article 24, 9 pages."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2408.11325"},{"key":"e_1_3_2_1_58_1","first-page":"33","volume-title":"Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Mohan Jayashree","year":"2018","unstructured":"Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli, Pandian Raju, and Vijay Chidambaram. 2018. Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA, 33-50. https:\/\/www.usenix.org\/conference\/ osdi18\/presentation\/mohan"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_3_2_1_60_1","volume-title":"Proceedings of the Eighth USENIX Symposium on Operating Systems Design and Implementation. 267-280","author":"Musuvathi Madanlal","year":"2008","unstructured":"Madanlal Musuvathi, Shaz Qadeer, Piramanayagam Arumuga Nainar, Thomas Ball, Gerard Basler, and Iulian Neamtiu. 2008. Finding and Reproducing Heisenbugs in Concurrent Programs. In Proceedings of the Eighth USENIX Symposium on Operating Systems Design and Implementation. 267-280. http:\/\/dl.acm.org\/citation.cfm?id=1855741.1855760"},{"key":"e_1_3_2_1_61_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Neal Ian","year":"2020","unstructured":"Ian Neal, Ben Reeves, Ben Stoler, and Andrew Quinn. 2020. AG-AMOTTO: How Persistent is your Persistent Memory Application?. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, Banff, Alberta, 18 pages."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509514"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN58367.2023.00030"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371079"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2012.18"},{"key":"e_1_3_2_1_66_1","volume-title":"Compute Express Link 3.0. white paper","author":"Das Sharma D","year":"2022","unstructured":"D Das Sharma and Ishwar Agarwal. 2022. Compute Express Link 3.0. white paper, CXL Consortium (2022)."},{"key":"e_1_3_2_1_67_1","first-page":"81","volume-title":"FUSEE: A Fully Memory-Disaggregated Key-Value Store. In 21st USENIX Conference on File and Storage Technologies (FAST 23)","author":"Shen Jiacheng","unstructured":"Jiacheng Shen, Pengfei Zuo, Xuchuan Luo, Tianyi Yang, Yuxin Su, Yangfan Zhou, and Michael R. Lyu. 2023. FUSEE: A Fully Memory-Disaggregated Key-Value Store. In 21st USENIX Conference on File and Storage Technologies (FAST 23). USENIX Association, Santa Clara, CA, 81-98. https:\/\/www.usenix.org\/conference\/fast23\/presentation\/shen"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3613424.3614256"},{"key":"e_1_3_2_1_69_1","unstructured":"Chengsong Tan Alastair F. Donaldson and John Wickerson. 2024. Formalising CXL Cache Coherence. arXiv:2410.15908 [cs.AR] https: \/\/arxiv.org\/abs\/2410.15908"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3627703.3650061"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30793-5_14"},{"key":"e_1_3_2_1_72_1","unstructured":"Yong Tian. 2023. Project Gismo Global I\/O-free Shared Memory Objects. https:\/\/memverge.com\/wp-content\/uploads\/MemVerge-Gismo-FMS2023.pdf."},{"key":"e_1_3_2_1_73_1","volume-title":"Proceedings of the 39th IEEE International Parallel and Distributed Processing Symposium.","author":"Wang Xi","year":"2025","unstructured":"Xi Wang, Jie Liu, Jianbo Wu, Shuangyan Yang, Jie Ren, Bhanu Shankar, and Dong Li. 2025. Exploring and Evaluating Real-world CXL: Use Cases and System Adoption. In Proceedings of the 39th IEEE International Parallel and Distributed Processing Symposium."},{"key":"e_1_3_2_1_74_1","unstructured":"Zixuan Wang Suyash Mahar Luyi Li Jangseon Park Jinpyo Kim Theodore Michailidis Yue Pan Mingyao Shen Tajana Rosing Dean Tullsen Steven Swanson and Jishen Zhao. 2025. The Hitchhiker's Guide to Programming and Optimizing Cache Coherent Heterogeneous Systems: CXL NVLink-C2C and AMD Infinity Fabric. arXiv:2411.02814 [cs.PF] https:\/\/arxiv.org\/abs\/2411.02814"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737958"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.5555\/3691825.3691895"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3695794.3695809"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3723851.3723858"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00035"},{"key":"e_1_3_2_1_80_1","unstructured":"Yi Xu Suyash Mahar Ziheng Liu Mingyao Shen and Steven Swanson. 2024. CXL Shared Memory Programming: Barely Distributed and Almost Persistent. arXiv:2405.19626 [cs.DC] https:\/\/arxiv.org\/abs\/2405.19626"},{"key":"e_1_3_2_1_81_1","first-page":"213","volume-title":"NSDI","author":"Yang Junfeng","year":"2009","unstructured":"Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. 2009. MODIST: Transparent model checking of unmodified distributed systems. In NSDI 2009. 213-228."},{"key":"e_1_3_2_1_82_1","volume-title":"General System for Finding Serious Storage System Errors. In 7th USENIX Symposium on Operating Systems De-sign and Implementation (OSDI 06)","author":"Yang Junfeng","year":"2006","unstructured":"Junfeng Yang, Can Sar, and Dawson Engler. 2006. EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. In 7th USENIX Symposium on Operating Systems De-sign and Implementation (OSDI 06). USENIX Association, Seattle, WA. https:\/\/www.usenix.org\/conference\/osdi-06\/explode-lightweight-general-system-finding-serious-storage-system-errors"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189259"},{"key":"e_1_3_2_1_84_1","unstructured":"Yujie Yang Lingfeng Xiang Peiran Du Zhen Lin Weishu Deng Ren Wang Andrey Kudryavtsev Louis Ko Hui Lu and Jia Rao. 2025. Architectural and System Implications of CXL-enabled Tiered Memory. arXiv:2503.17864 [cs.AR] https:\/\/arxiv.org\/abs\/2503.17864"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613135"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737956"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/3698783.3699377"}],"event":{"name":"ASPLOS '26: 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Pittsburgh PA USA","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T14:06:35Z","timestamp":1773583595000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3779212.3790150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,22]]},"references-count":87,"alternative-id":["10.1145\/3779212.3790150","10.1145\/3779212"],"URL":"https:\/\/doi.org\/10.1145\/3779212.3790150","relation":{},"subject":[],"published":{"date-parts":[[2026,3,22]]},"assertion":[{"value":"2026-03-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}