{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T18:11:30Z","timestamp":1760033490084,"version":"build-2065373602"},"reference-count":103,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","license":[{"start":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T00:00:00Z","timestamp":1759968000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-2006948, CCF-2102940, CCF-2220410"],"award-info":[{"award-number":["CCF-2006948, CCF-2102940, CCF-2220410"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,10,9]]},"abstract":"<jats:p>Compute Express Link (CXL) memory sharing, persistent memory, and other related technologies allow data to survive crash events. A key challenge is ensuring that data is consistent after crashes such that it can be safely accessed. While there has been much work on bug-finding tools for persistent memory programs, these tools cannot guarantee that a program is crash-consistent.  \nIn this paper, we present a language, CrashLang, and its type system, that together guarantee that well-typed data structure implementations written in CrashLang are crash-consistent. CrashLang leverages the well-known commit-store pattern in which a single store logically commits an entire data structure operation. In this paper, we prove that well-typed CrashLang programs are crash-consistent, and provide a prototype implementation of the CrashLang compiler.  \nWe have evaluated CrashLang on five benchmarks: the Harris linked list, the Treiber stack, the Michael\u2013Scott queue, a Read-Copy-Update binary search tree, and a Cache-Line Hash Table. We experimentally verified that each implementation correctly survives crashes.<\/jats:p>","DOI":"10.1145\/3763077","type":"journal-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T08:49:50Z","timestamp":1759999790000},"page":"753-783","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Verifying Crash Consistency"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0216-2113","authenticated-orcid":false,"given":"Keonho","family":"Lee","sequence":"first","affiliation":[{"name":"University of California at Irvine, Irvine, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9477-194X","authenticated-orcid":false,"given":"Conan","family":"Truong","sequence":"additional","affiliation":[{"name":"University of California at Irvine, Irvine, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1210-3130","authenticated-orcid":false,"given":"Brian","family":"Demsky","sequence":"additional","affiliation":[{"name":"University of California at Irvine, Irvine, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,10,9]]},"reference":[{"key":"e_1_2_2_1_1","unstructured":"Marcos K Aguilera and Svend Fr\u00f8lund. 2003. Strict linearizability and the power of aborting. Technical Report HPL-2003-241."},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3054780"},{"key":"e_1_2_2_3_1","unstructured":"Gal Assa Lucas B\u00fcrgi Michal Friedman and Ori Lahav. 2025. A Programming Model for Disaggregated Memory over CXL. arxiv:2407.16300. arxiv:2407.16300"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3212734.3212753"},{"key":"e_1_2_2_5_1","volume-title":"19th International Conference on Principles of Distributed Systems (OPODIS","author":"Berryhill Ryan","year":"2016","unstructured":"Ryan Berryhill, Wojciech Golab, and Mahesh Tripunitara. 2016. Robust shared objects for non-volatile main memory. In 19th International Conference on Principles of Distributed Systems (OPODIS 2015)."},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984019"},{"key":"e_1_2_2_7_1","volume-title":"View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). CoRR, abs\/2201.05860","author":"Bila Eleni Vafeiadi","year":"2022","unstructured":"Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, and John Wickerson. 2022. View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). CoRR, abs\/2201.05860 (2022), arXiv:2201.05860. arxiv:2201.05860"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2926697.2926704"},{"key":"e_1_2_2_9_1","unstructured":"Bill Bridge. 2021. NVM Direct library. https:\/\/github.com\/oracle\/nvm-direct"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381898.3397212"},{"key":"e_1_2_2_11_1","volume-title":"Proceedings of the 2017 European Conference on Object-Oriented Programming.","author":"Tobias Wrigstad Elias","year":"2017","unstructured":"Elias Castegren1 and Tobias Wrigstad. 2017. Relaxed Linear References for Lock-free Data Structures. In Proceedings of the 2017 European Conference on Object-Oriented Programming."},{"key":"e_1_2_2_12_1","volume-title":"2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS \u201918)","author":"Castro Daniel","year":"2018","unstructured":"Daniel Castro, Paolo Romano, and Jo\u00e3o Barreto. 2018. Hardware transactional memory meets memory persistency. In 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS \u201918). Institute of Electrical and Electronics Engineers, Vancouver, BC, Canada. 368\u2013377."},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394025"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660224"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.14778\/2752939.2752947"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/NVMSA.2017.8064478"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378515"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3204454"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591232"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950380"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.013"},{"key":"e_1_2_2_22_1","unstructured":"2023. CXL 3.1 Specification. https:\/\/compuiteexpresslink.org"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378481"},{"key":"e_1_2_2_24_1","unstructured":"Inc. Danga Interactive. 2018. Memcached. https:\/\/github.com\/lenovo\/memcached-pmem"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3423211.3425671"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446744"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592814"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454105"},{"key":"e_1_2_2_29_1","volume-title":"Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP","author":"Fu Xinwei","year":"2021","unstructured":"Xinwei Fu, Wook-Hee Kim, Ajay Paddayuru Shreepathi, Mohannad Ismail, Sunny Wadkar, Dongyoon Lee, and Changwoo Min. 2021. Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores. In Proceedings of the 28th ACM Symposium on Operating Systems Principles (SOSP 2021). Association for Computing Machinery, New York, NY, USA. 100\u2013115."},{"key":"e_1_2_2_30_1","unstructured":"Ning Gao Zhang Liu and Dirk Grunwald. 2017. DTranx: A SEDA-based Distributed and Transactional Key Value Store with Persistent Memory Log. arxiv:1711.09543."},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385991"},{"key":"e_1_2_2_32_1","volume-title":"2020 USENIX Annual Technical Conference (USENIX ATC 20)","author":"George Jerrin Shaji","year":"2020","unstructured":"Jerrin Shaji George, Mohit Verma, Rajesh Venkatasubramanian, and Pratap Subrahmanyam. 2020. go-pmem: Native Support for Programming Persistent Memory in Go. In 2020 USENIX Annual Technical Conference (USENIX ATC 20). USENIX Association, Boston, MA, USA. 859\u2013872. isbn:978-1-939133-14-4 https:\/\/www.usenix.org\/conference\/atc20\/presentation\/george"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092255.3092270"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192367"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523723"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446735"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507766"},{"key":"e_1_2_2_38_1","volume-title":"24th International Conference on Distributed Computing Systems, 2004. Proceedings.. 400\u2013407","author":"Guerraoui Rachid","year":"2004","unstructured":"Rachid Guerraoui and Ron R Levy. 2004. Robust emulations of shared memory in a crash-recovery model. In 24th International Conference on Distributed Computing Systems, 2004. Proceedings.. 400\u2013407."},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics9111913"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/645958.676105"},{"key":"e_1_2_2_41_1","volume-title":"Proceedings of the 16th International Conference on Distributed Computing (DISC \u201902)","author":"Harris Timothy L.","unstructured":"Timothy L. Harris, Keir Fraser, and Ian A. Pratt. 2002. A Practical Multi-word Compare-and-Swap Operation. In Proceedings of the 16th International Conference on Distributed Computing (DISC \u201902). Springer-Verlag, Berlin, Heidelberg. 265\u2013279. isbn:3540000739"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.18"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446710"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064204"},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2018.00045"},{"key":"e_1_2_2_47_1","unstructured":"Intel Corporation. 2020. Persistent Memory Development Kit. https:\/\/pmem.io\/pmdk\/."},{"key":"e_1_2_2_48_1","unstructured":"Intel Corporation. 2021. Intel Inspector. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/tools\/oneapi\/ components\/inspector.html."},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872410"},{"key":"e_1_2_2_50_1","volume-title":"Scott","author":"Izraelevitz Joseph","year":"2016","unstructured":"Joseph Izraelevitz, Hammurabi Mendes, and Michael L. Scott. 2016. Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model. In Distributed Computing, Cyril Gavoille and David Ilcinkas (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 313\u2013327. isbn:978-3-662-53426-7"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00049"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676724.2693179"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359631"},{"key":"e_1_2_2_54_1","volume-title":"SLM-DB: Single-Level Key-Value Store with Persistent Memory. In 17th USENIX Conference on File and Storage Technologies (FAST 19)","author":"Kaiyrakhmet Olzhas","year":"2019","unstructured":"Olzhas Kaiyrakhmet, Songyi Lee, Beomseok Nam, Sam H. Noh, and Young ri Choi. 2019. SLM-DB: Single-Level Key-Value Store with Persistent Memory. In 17th USENIX Conference on File and Storage Technologies (FAST 19). USENIX Association, Boston, MA. 191\u2013205. isbn:978-1-939133-09-0 https:\/\/www.usenix.org\/conference\/fast19\/presentation\/kaiyrakhmet"},{"key":"e_1_2_2_55_1","unstructured":"Tomasz Kapela. 2015. An introduction to pmemcheck (part 1) - basics. https:\/\/pmem.io\/2015\/07\/17\/pmemcheck-basic.html"},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","unstructured":"Keonho Lee Conan Truong and Brian Demsky. 2025. CrashLang Artifact. Zenodo. https:\/\/doi.org\/10.5281\/zenodo.16924920 10.5281\/zenodo.16924920","DOI":"10.5281\/zenodo.16924920"},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872381"},{"key":"e_1_2_2_58_1","volume-title":"High Performance Metadata Integrity Protection in the WAFL Copy-on-Write File System. In 15th USENIX Conference on File and Storage Technologies (FAST 17)","author":"Kumar Harendra","year":"2017","unstructured":"Harendra Kumar, Yuvraj Patel, Ram Kesavan, and Sumith Makam. 2017. High Performance Metadata Integrity Protection in the WAFL Copy-on-Write File System. In 15th USENIX Conference on File and Storage Technologies (FAST 17). USENIX Association, Santa Clara, CA. 197\u2013212. isbn:978-1-931971-36-2 https:\/\/www.usenix.org\/conference\/fast17\/technical-sessions\/presentation\/kumar"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132770"},{"key":"e_1_2_2_60_1","unstructured":"Redis Labs. 2020. Redis. https:\/\/github.com\/pmem\/redis"},{"key":"e_1_2_2_61_1","volume-title":"Proceedings of the 2014 USENIX Annual Technical Conference. USENIX Association","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 Annual Technical Conference. USENIX Association, Philadelphia, PA. 433\u2013438. isbn:978-1-931971-10-2 https:\/\/www.usenix.org\/conference\/atc14\/technical-sessions\/presentation\/lantz"},{"key":"e_1_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359635"},{"key":"e_1_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379932"},{"key":"e_1_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037714"},{"key":"e_1_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00029"},{"key":"e_1_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446691"},{"key":"e_1_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378452"},{"key":"e_1_2_2_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304015"},{"key":"e_1_2_2_69_1","volume-title":"Octopus: An RDMA-enabled Distributed Persistent Memory File System. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"Lu Youyou","year":"2017","unstructured":"Youyou Lu, Jiwu Shu, Youmin Chen, and Tao Li. 2017. Octopus: An RDMA-enabled Distributed Persistent Memory File System. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). USENIX Association, Santa Clara, CA. 773\u2013785. isbn:978-1-931971-38-6 https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/lu"},{"key":"e_1_2_2_70_1","volume-title":"Proceedings of the 9th USENIX Conference on Hot Topics in Storage and File Systems (HotStorage\u201917)","author":"Marathe Virendra J.","year":"2017","unstructured":"Virendra J. Marathe, Margo Seltzer, Steve Byan, and Tim Harris. 2017. Persistent Memcached: Bringing Legacy Code to Byte-Addressable Persistent Memory. In Proceedings of the 9th USENIX Conference on Hot Topics in Storage and File Systems (HotStorage\u201917). USENIX Association, USA. 4."},{"key":"e_1_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278141"},{"key":"e_1_2_2_72_1","volume-title":"Part II Proceedings of an Advanced Course Bad Honnef, 8.\u201319","author":"Mazurkiewicz Antoni","year":"1987","unstructured":"Antoni Mazurkiewicz. 1987. Trace theory. In Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.\u201319. September 1986. 278\u2013324."},{"key":"e_1_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/248052.248106"},{"key":"e_1_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446694"},{"key":"e_1_2_2_75_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. Agamotto: How Persistent is your Persistent Memory Application? In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, Banff, Alberta. 1047\u20131064."},{"key":"e_1_2_2_76_1","volume-title":"Proceedings of the ACM on Programming Languages, 8, OOPSLA2","author":"Vale Arthur Oliveira","year":"2024","unstructured":"Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen, Peixin You, and Zhong Shao. 2024. Compositionality and Observational Refinement for Linearizability with Crashes. Proceedings of the ACM on Programming Languages, 8, OOPSLA2 (2024), 2296\u20132324."},{"key":"e_1_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043560"},{"key":"e_1_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2915251"},{"key":"e_1_2_2_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN58367.2023.00030"},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2830772.2830802"},{"key":"e_1_2_2_81_1","unstructured":"2023. Memory-Semantic SSD. https:\/\/samsungmsl.com\/ms-ssd\/"},{"key":"e_1_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjjip.32.1003"},{"key":"e_1_2_2_83_1","volume-title":"Mathematics of Program Construction, Claude Bolduc, Jules Desharnais, and B\u00e9chir Ktari (Eds.)","author":"Tofan Bogdan","unstructured":"Bogdan Tofan, Simon B\u00e4umler, Gerhard Schellhorn, and Wolfgang Reif. 2010. Temporal Logic Verification of Lock-Freedom. In Mathematics of Program Construction, Claude Bolduc, Jules Desharnais, and B\u00e9chir Ktari (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 377\u2013396. isbn:978-3-642-13321-3"},{"key":"e_1_2_2_84_1","volume-title":"International Business Machines Incorporated","author":"Treiber R.K.","unstructured":"R.K. Treiber. 1986. Systems programming: Coping with parallelism. International Business Machines Incorporated, Thomas J. Watson Research Center."},{"key":"e_1_2_2_85_1","volume-title":"Proceedings of the 9th USENIX Conference on File and Stroage Technologies (FAST\u201911)","author":"Venkataraman Shivaram","year":"1931","unstructured":"Shivaram Venkataraman, Niraj Tolia, Parthasarathy Ranganathan, and Roy H. Campbell. 2011. Consistent and Durable Data Structures for Non-Volatile Byte-Addressable Memory. In Proceedings of the 9th USENIX Conference on File and Stroage Technologies (FAST\u201911). USENIX Association, USA. 5. isbn:9781931971829"},{"key":"e_1_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/3622820"},{"key":"e_1_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592810"},{"key":"e_1_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950379"},{"key":"e_1_2_2_89_1","volume-title":"2018 IEEE 34th International Conference on Data Engineering (ICDE). 461\u2013472","author":"Wang Tianzheng","year":"2018","unstructured":"Tianzheng Wang, Justin Levandoski, and Per-Ake Larson. 2018. Easy lock-free indexing in non-volatile memory. In 2018 IEEE 34th International Conference on Data Engineering (ICDE). 461\u2013472."},{"key":"e_1_2_2_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503221.3508436"},{"key":"e_1_2_2_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967360.2967374"},{"key":"e_1_2_2_92_1","volume-title":"Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers","author":"Wu Xiaojian","unstructured":"Xiaojian Wu and A. L. Narasimha Reddy. 2011. SCMFS: A file system for Storage Class Memory. In SC \u201911: Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers, Seattle, WA, USA. 1\u201311."},{"key":"e_1_2_2_93_1","volume-title":"Proceedings of the 2017 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC \u201917)","author":"Xia Fei","year":"2017","unstructured":"Fei Xia, Dejun Jiang, Jin Xiong, and Ninghui Sun. 2017. HiKV: A Hybrid Index Key-Value Store for DRAM-NVM Memory Systems. In Proceedings of the 2017 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC \u201917). USENIX Association, USA. 349\u2013362. isbn:9781931971386"},{"key":"e_1_2_2_94_1","volume-title":"Proceedings of the 14th Usenix Conference on File and Storage Technologies (FAST\u201916)","author":"Xu Jian","year":"2016","unstructured":"Jian Xu and Steven Swanson. 2016. NOVA: A Log-Structured File System for Hybrid Volatile\/Non-Volatile Main Memories. In Proceedings of the 14th Usenix Conference on File and Storage Technologies (FAST\u201916). USENIX Association, USA. 323\u2013338. isbn:9781931971287"},{"key":"e_1_2_2_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132761"},{"key":"e_1_2_2_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446730"},{"key":"e_1_2_2_97_1","volume-title":"Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915)","author":"Yang Jun","year":"2015","unstructured":"Jun Yang, Qingsong Wei, Cheng Chen, Chundong Wang, Khai Leong Yong, and Bingsheng He. 2015. NV-Tree: Reducing Consistency Cost for NVM-Based Single Level Systems. In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915). USENIX Association, USA. 167\u2013181. isbn:9781931971201"},{"key":"e_1_2_2_98_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453300"},{"key":"e_1_2_2_99_1","volume-title":"Pangolin: A Fault-Tolerant Persistent Memory Programming Library. In 2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Zhang Lu","year":"2019","unstructured":"Lu Zhang and Steven Swanson. 2019. Pangolin: A Fault-Tolerant Persistent Memory Programming Library. In 2019 USENIX Annual Technical Conference (USENIX ATC 19). USENIX Association, Renton, WA. 897\u2013912. isbn:978-1-939133-03-8 https:\/\/www.usenix.org\/conference\/atc19\/presentation\/zhang-lu"},{"key":"e_1_2_2_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613135"},{"key":"e_1_2_2_101_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447786.3456237"},{"key":"e_1_2_2_102_1","doi-asserted-by":"publisher","DOI":"10.14778\/3372716.3372717"},{"key":"e_1_2_2_103_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360554"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3763077","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3763077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T17:47:47Z","timestamp":1760032067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3763077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,9]]},"references-count":103,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2025,10,9]]}},"alternative-id":["10.1145\/3763077"],"URL":"https:\/\/doi.org\/10.1145\/3763077","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,9]]},"assertion":[{"value":"2025-03-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-10-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}