{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:24:44Z","timestamp":1779074684597,"version":"3.51.4"},"reference-count":82,"publisher":"Association for Computing Machinery (ACM)","issue":"POPL","funder":[{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["EP\/X037029\/1"],"award-info":[{"award-number":["EP\/X037029\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100014013","name":"UKRI","doi-asserted-by":"crossref","award":["MR\/V024299\/1"],"award-info":[{"award-number":["MR\/V024299\/1"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["EP\/Y036425\/1"],"award-info":[{"award-number":["EP\/Y036425\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["EP\/X037142\/1"],"award-info":[{"award-number":["EP\/X037142\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["EP\/X015149\/1"],"award-info":[{"award-number":["EP\/X015149\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"crossref","award":["IES\\R1\\221226"],"award-info":[{"award-number":["IES\\R1\\221226"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"crossref","award":["EP\/V038915\/1"],"award-info":[{"award-number":["EP\/V038915\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"crossref"}]},{"name":"ERC Consolidator Grant","award":["101003349"],"award-info":[{"award-number":["101003349"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2026,1,8]]},"abstract":"<jats:p>Remote Direct Memory Access (RDMA) is a memory technology that allows  \nremote devices to directly write to and read from each other's memory,  \nbypassing components such as the CPU and operating system. This  \nenables low-latency high-throughput networking, as required for many  \nmodern data centres, HPC applications and AI\/ML workloads. However,  \nbaseline RDMA comprises a highly permissive weak memory model that is  \ndifficult to use in practice and has only recently been formalised.<\/jats:p>\n                  <jats:p>In this paper, we introduce the Library of Composable Objects (LOCO), a  \nformally verified library for building multi-node objects on RDMA,  \nfilling the gap between shared memory and distributed system  \nprogramming. LOCO objects are well-encapsulated and  \ntake advantage of the strong locality and the weak consistency  \ncharacteristics of RDMA. They have performance comparable to  \ncustom RDMA systems (e.g. distributed maps), but with a far simpler  \nprogramming model amenable to formal proofs of correctness.<\/jats:p>\n                  <jats:p>To support verification, we develop a novel modular declarative  \nverification framework, called Mowgli, that is flexible enough  \nto model multinode objects and is independent of a memory consistency model.  \nWe instantiate Mowgli with the RDMA memory model, and use it to verify  \ncorrectness of LOCO libraries.<\/jats:p>","DOI":"10.1145\/3776713","type":"journal-article","created":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T18:59:43Z","timestamp":1767898783000},"page":"2051-2082","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Verified High-Performance Composable Object Library for Remote Direct Memory Access"],"prefix":"10.1145","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4667-7266","authenticated-orcid":false,"given":"Guillaume","family":"Ambal","sequence":"first","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7327-9561","authenticated-orcid":false,"given":"George","family":"Hodgkins","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3433-7338","authenticated-orcid":false,"given":"Mark","family":"Madler","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6700-9235","authenticated-orcid":false,"given":"Gregory","family":"Chockler","sequence":"additional","affiliation":[{"name":"University of Surrey, Guildford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0446-3507","authenticated-orcid":false,"given":"Brijesh","family":"Dongol","sequence":"additional","affiliation":[{"name":"University of Surrey, Guildford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1267-5024","authenticated-orcid":false,"given":"Joseph","family":"Izraelevitz","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2319-3242","authenticated-orcid":false,"given":"Azalea","family":"Raad","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8436-0334","authenticated-orcid":false,"given":"Viktor","family":"Vafeiadis","sequence":"additional","affiliation":[{"name":"MPI-SWS, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,1,8]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"[n. d.]. The CloudLab Manual: Hardware. http:\/\/docs.cloudlab.us\/hardware.html."},{"key":"e_1_2_1_2_1","unstructured":"[n. d.]. Scythe. https:\/\/github.com\/PDS-Lab\/Scythe."},{"key":"e_1_2_1_3_1","unstructured":"[n. d.]. Sherman: A Write-Optimized Distributed B+Tree Index on Disaggregated Memory. https:\/\/github.com\/thustorage\/Sherman."},{"key":"e_1_2_1_4_1","unstructured":"[n. d.]. Yahoo! Cloud Serving Benchmark in C++. https:\/\/github.com\/basicthinker\/YCSB-C."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30823-9_6"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293611.3331601"},{"key":"e_1_2_1_8_1","volume-title":"Microsecond Consensus for Microsecond Applications. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Aguilera Marcos K.","year":"2020","unstructured":"Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Athanasios Xygkis, and Igor Zablotchi. 2020. Microsecond Consensus for Microsecond Applications. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 599\u2013616. isbn:978-1-939133-19-9 https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/aguilera"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201924)","author":"Alquraan Ahmed","year":"2024","unstructured":"Ahmed Alquraan, Sreeharsha Udayashankar, Virendra Marathe, Bernardo Wong, and Samer Al-Kiswany. 2024. LoLKV: the logless, line the logless, linearizable, RDMA-based key-value storage system arizable, RDMA-based key-value storage system. In Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201924). USENIX Association, USA. Article 3, 14 pages. isbn:978-1-939133-39-7"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689781"},{"key":"e_1_2_1_12_1","unstructured":"Guillaume Ambal George Hodgkins Mark Madler Gregory Chockler Brijesh Dongol Joseph Izraelevitz Azalea Raad and Viktor Vafeiadis. 2025. A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version). arxiv:cs.PL\/2510.10531. arxiv:2510.10531"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74591-4_3"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2750547"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_2_1_16_1","volume-title":"View-Based Owicki\u2013Gries Reasoning for Persistent x86-TSO","author":"Bila Eleni Vafeiadi","unstructured":"Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, and John Wickerson. 2022. View-Based Owicki\u2013Gries Reasoning for Persistent x86-TSO. In Programming Languages and Systems, Ilya Sergey (Ed.). Springer International Publishing, Cham. 234\u2013261. isbn:978-3-030-99336-8"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3337821.3337912"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14778\/3236187.3236209"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446713"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563352"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2984033"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTER49012.2020.00035"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73721-8_9"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201914)","author":"Dragojevi\u0107 Aleksandar","year":"2014","unstructured":"Aleksandar Dragojevi\u0107, Dushyanth Narayanan, Orion Hodson, and Miguel Castro. 2014. FaRM: Fast Remote Memory. In Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201914). USENIX Association, Berkeley, CA, USA. 401\u2013414. isbn:978-1-931971-09-6 http:\/\/dl.acm.org\/citation.cfm?id=2616448.2616486"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815425"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837615"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings, 11th European PVM\/MPI Users\u2019 Group Meeting","author":"Gabriel Edgar","unstructured":"Edgar Gabriel, Graham E. Fagg, George Bosilca, Thara Angskun, Jack J. Dongarra, Jeffrey M. Squyres, Vishal Sahay, Prabhanjan Kambadur, Brian Barrett, Andrew Lumsdaine, Ralph H. Castain, David J. Daniel, Richard L. Graham, and Timothy S. Woodall. 2004. Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation. In Proceedings, 11th European PVM\/MPI Users\u2019 Group Meeting. Budapest, Hungary. 97\u2013104."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672233"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332466.3374516"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3704906"},{"key":"e_1_2_1_31_1","volume-title":"High-Performance Memory Disaggregation with DirectCXL. In 2022 USENIX Annual Technical Conference (USENIX ATC 22)","author":"Gouk Donghyun","year":"2022","unstructured":"Donghyun Gouk, Sangwon Lee, Miryeong Kwon, and Myoungsoo Jung. 2022. Direct Access, High-Performance Memory Disaggregation with DirectCXL. In 2022 USENIX Annual Technical Conference (USENIX ATC 22). USENIX Association, Carlsbad, CA. 287\u2013294. isbn:978-1-939133-29-65 https:\/\/www.usenix.org\/conference\/atc22\/presentation\/gouk"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/11752578_29"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTR.2002.1137732"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810540"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_2_1_36_1","volume-title":"LOCO: Rethinking Objects for Network Memory. arxiv:cs.DC\/2503.19270. arxiv:2503.19270","author":"Hodgkins George","year":"2025","unstructured":"George Hodgkins, Mark Madler, and Joseph Izraelevitz. 2025. LOCO: Rethinking Objects for Network Memory. arxiv:cs.DC\/2503.19270. arxiv:2503.19270"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3545008.3545041"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302258"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302258"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127479.3134597"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796818000151"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626299"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749246.2749250"},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of the USENIX","author":"Keleher Pete","year":"1994","unstructured":"Pete Keleher, Alan L. Cox, Sandhya Dwarkadas, and Willy Zwaenepoel. 1994. TreadMarks: distributed shared memory on standard workstations and operating systems. In Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference (WTEC\u201994). USENIX Association, USA. 10."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_20"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37706-8_11"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062352"},{"key":"e_1_2_1_48_1","volume-title":"ROLEX: A Scalable RDMA-oriented Learned Key-Value Store for Disaggregated Memory Systems. In 21st USENIX Conference on File and Storage Technologies (FAST 23)","author":"Li Pengfei","year":"2023","unstructured":"Pengfei Li, Yu Hua, Pengfei Zuo, Zhangyu Chen, and Jiajie Sheng. 2023. ROLEX: A Scalable RDMA-oriented Learned Key-Value Store for Disaggregated Memory Systems. In 21st USENIX Conference on File and Storage Technologies (FAST 23). USENIX Association, Santa Clara, CA. 99\u2013114. isbn:978-1-939133-32-8 https:\/\/www.usenix.org\/conference\/fast23\/presentation\/li-pengfei"},{"key":"e_1_2_1_49_1","volume-title":"RDMA core. https:\/\/github.com\/linux-rdma\/rdma-core\/ (Accessed","year":"2025","unstructured":"linux-rdma. 2018. RDMA core. https:\/\/github.com\/linux-rdma\/rdma-core\/ (Accessed: Jul. 2025)."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3456859.3456862"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555271"},{"key":"e_1_2_1_52_1","unstructured":"Redis Ltd. 2021. Redis v6.0.16. https:\/\/github.com\/redis\/redis\/releases\/tag\/6.0.16"},{"key":"e_1_2_1_53_1","unstructured":"Redis Ltd. 2024. Memtier v2.1.2. https:\/\/github.com\/RedisLabs\/memtier_benchmark\/releases\/tag\/2.1.2"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3666004"},{"key":"e_1_2_1_55_1","volume-title":"15th USENIX symposium on networked systems design and implementation (NSDI 18)","author":"Lu Yuanwei","year":"2018","unstructured":"Yuanwei Lu, Guo Chen, Bojie Li, Kun Tan, Yongqiang Xiong, Peng Cheng, Jiansong Zhang, Enhong Chen, and Thomas Moscibroda. 2018. $Multi-Path$ transport for $RDMA$ in datacenters. In 15th USENIX symposium on networked systems design and implementation (NSDI 18). 357\u2013371."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3040222"},{"key":"e_1_2_1_57_1","volume-title":"MPI: A Message-Passing Interface Standard Version 4.1. https:\/\/www.mpi-forum.org\/docs\/mpi-4.1\/mpi41-report.pdf","author":"Interface Forum Message Passing","year":"2023","unstructured":"Message Passing Interface Forum. 2023. MPI: A Message-Passing Interface Standard Version 4.1. https:\/\/www.mpi-forum.org\/docs\/mpi-4.1\/mpi41-report.pdf"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442527"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-60698-4_6"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SUPERC.1994.344297"},{"key":"e_1_2_1_61_1","unstructured":"NVIDIA Corporation. 2020. NVIDIA Collective Communication Library (NCCL) Documentation. https:\/\/docs.nvidia.com\/deeplearning\/nccl\/user-guide\/docs\/index.html"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_27"},{"key":"e_1_2_1_63_1","unstructured":"Geoff Pike and Jyrki Alakuijala. [n. d.]. Introducing CityHash. https:\/\/opensource.googleblog.com\/2011\/04\/introducing-cityhash.html."},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749246.2749267"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290381"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-57267-8_6"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-SmartCity-DSS.2017.30"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3593856.3595893"},{"key":"e_1_2_1_69_1","volume-title":"Nu: Achieving Microsecond-Scale Resource Fungibility with Logical Processes. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)","author":"Ruan Zhenyuan","year":"2023","unstructured":"Zhenyuan Ruan, Seo Jin Park, Marcos K. Aguilera, Adam Belay, and Malte Schwarzkopf. 2023. Nu: Achieving Microsecond-Scale Resource Fungibility with Logical Processes. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). USENIX Association, Boston, MA. 1409\u20131427. isbn:978-1-939133-33-5 https:\/\/www.usenix.org\/conference\/nsdi23\/presentation\/ruan"},{"key":"e_1_2_1_70_1","volume-title":"Application-Integrated Far Memory. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Ruan Zhenyuan","year":"2020","unstructured":"Zhenyuan Ruan, Malte Schwarzkopf, Marcos K. Aguilera, and Adam Belay. 2020. AIFM: High-Performance, Application-Integrated Far Memory. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 315\u2013332. isbn:978-1-939133-19-9 https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/ruan"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-57267-8_8"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2013.6522318"},{"key":"e_1_2_1_73_1","volume-title":"Semeru: A Memory-Disaggregated Managed Runtime. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Wang Chenxi","year":"2020","unstructured":"Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, and Guoqing Harry Xu. 2020. Semeru: A Memory-Disaggregated Managed Runtime. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 261\u2013280. isbn:978-1-939133-19-9 https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/wang"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2023.02.015"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3517824"},{"key":"e_1_2_1_76_1","volume-title":"20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)","author":"Wang Zilong","year":"2023","unstructured":"Zilong Wang, Layong Luo, Qingsong Ning, Chaoliang Zeng, Wenxue Li, Xinchen Wan, Peng Xie, Tao Feng, Ke Cheng, Xiongfei Geng, et al. 2023. $SRNIC$: A scalable architecture for $RDMA$$NICs$. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). 1\u201314."},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303975"},{"key":"e_1_2_1_78_1","volume-title":"Orion: A Distributed File System for Non-Volatile Main Memories and RDMA-Capable Networks. In 17th USENIX Conference on File and Storage Technologies (FAST \u201919)","author":"Yang Jian","year":"2019","unstructured":"Jian Yang, Joseph Izraelevitz, and Steven Swanson. 2019. Orion: A Distributed File System for Non-Volatile Main Memories and RDMA-Capable Networks. In 17th USENIX Conference on File and Storage Technologies (FAST \u201919). USENIX Association."},{"key":"e_1_2_1_79_1","volume-title":"Proceedings of the 17th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201920)","author":"Yang Jian","year":"2020","unstructured":"Jian Yang, Joseph Izraelevitz, and Steven Swanson. 2020. FileMR: Rethinking RDMA Networking for Scalable Persistent Memory. In Proceedings of the 17th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201920). USENIX Association."},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3517856"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2014.115"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787484"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3776713","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T19:04:12Z","timestamp":1767899052000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3776713"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,8]]},"references-count":82,"journal-issue":{"issue":"POPL","published-print":{"date-parts":[[2026,1,8]]}},"alternative-id":["10.1145\/3776713"],"URL":"https:\/\/doi.org\/10.1145\/3776713","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1,8]]},"assertion":[{"value":"2025-07-10","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-11-06","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2026-01-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}