{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:16:28Z","timestamp":1784232988616,"version":"3.55.0"},"reference-count":79,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["No.62272217"],"award-info":[{"award-number":["No.62272217"]}],"id":[{"id":"10.13039\/501100001809","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>Persistent memory (PM), with its data persistence, has found widespread applications. However, programmers have to manually annotate PM operations in programming to achieve crash consistency, which is labor-intensive and error-prone. In this paper, to alleviate the burden of programming PM applications, we develop HybridPersist, a compiler support for user-friendly and efficient PM programming. On the one hand, HybridPersist automatically achieves crash consistency, minimally intruding on programmers with negligible annotations. On the other hand, it enhances both performance and correctness of PM programs through a series of dedicated analysis passes. The evaluations on well-known benchmarks validate that HybridPersist offers superior programming productivity and runtime performance compared to the state-of-the-art.<\/jats:p>","DOI":"10.1145\/3763089","type":"journal-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T08:49:50Z","timestamp":1759999790000},"page":"1092-1118","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7412-5293","authenticated-orcid":false,"given":"Yiyu","family":"Zhang","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-6302-0053","authenticated-orcid":false,"given":"Yongzhi","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6356-9347","authenticated-orcid":false,"given":"Yanfeng","family":"Gao","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3090-9568","authenticated-orcid":false,"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7104-9918","authenticated-orcid":false,"given":"Zhiqiang","family":"Zuo","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,10,9]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2070830"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61739-6_33"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/2463585.2463589"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3465402"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-24950-1_3"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2984019"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/13310.13327"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/2714064.2660224"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.14778\/3446095.3446102"},{"key":"e_1_3_1_11_2","first-page":"81","article-title":"Scalable persistent memory file system with {Kernel-Userspace} collaboration","author":"Chen Youmin","year":"2021","unstructured":"Youmin Chen, Youyou Lu, Bohong Zhu, Andrea C Arpaci-Dusseau, Remzi H Arpaci-Dusseau, and Jiwu Shu. 2021. Scalable persistent memory file system with {Kernel-Userspace} collaboration. In 19th USENIX Conference on File and Storage Technologies (FAST 21). 81\u201395.","journal-title":"19th USENIX Conference on File and Storage Technologies (FAST 21)"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950380"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629589"},{"key":"e_1_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Brian F Cooper Adam Silberstein Erwin Tam Raghu Ramakrishnan and Russell Sears. 2010. Benchmarking cloud serving systems with YCSB. In Proceedings of the 1st ACM symposium on Cloud computing. 143\u2013154.","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_1_15_2","unstructured":"Intel Corporation. [n. d.]. Persistent Memory Development Kit. https:\/\/pmem.io\/pmdk. Accessed: 2022-10-31."},{"key":"e_1_3_1_16_2","unstructured":"Weidong Cui Xinyang Ge Baris Kasikci Ben Niu Upamanyu Sharma Ruoyu Wang and Insu Yun. 2018. REPT: Reverse debugging of failures in deployed software. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). 17\u201332."},{"key":"e_1_3_1_17_2","unstructured":"William R Dieter and James E Lumpp Jr. 2001. User-Level Checkpointing for LinuxThreads Programs. In USENIX Annual Technical Conference FREENIX Track. 81\u201392."},{"key":"e_1_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Zhuohui Duan Haodi Lu Haikun Liu Xiaofei Liao Hai Jin Yu Zhang and Song Wu. 2021. Hardware-supported remote persistence for distributed persistent memory. In Proceedings of the International Conference for High Performance Computing Networking Storage and Analysis. 1\u201314.","DOI":"10.1145\/3458817.3476194"},{"key":"e_1_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Xinwei Fu Wook-Hee Kim Ajay PaddayuruShreepathi 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 ACM SIGOPS 28th Symposium on Operating Systems Principles. 100\u2013115.","DOI":"10.1145\/3477132.3483556"},{"key":"e_1_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Kaan Gen\u00e7 Michael D Bond and Guoqing Harry Xu. 2020. Crafty: Efficient HTM-compatible persistent transactions. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. 59\u201374.","DOI":"10.1145\/3385412.3385991"},{"key":"e_1_3_1_21_2","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). 859\u2013872."},{"key":"e_1_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Jo\u00e3o Gon\u00e7alves Miguel Matos and Rodrigo Rodrigues. 2023. Mumak: Efficient and Black-Box Bug Detection for Persistent Memory. In Proceedings of the Eighteenth European Conference on Computer Systems. 734\u2013750.","DOI":"10.1145\/3552326.3587447"},{"key":"e_1_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Hamed Gorjiara Weiyu Luo Alex Lee Guoqing Harry Xu and Brian Demsky. 2022. Checking robustness to weak persistency models. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 490\u2013505.","DOI":"10.1145\/3519939.3523723"},{"key":"e_1_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Hamed Gorjiara Guoqing Harry Xu and Brian Demsky. 2021. Jaaru: Efficiently model checking persistent memory programs. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. 415\u2013428.","DOI":"10.1145\/3445814.3446735"},{"key":"e_1_3_1_25_2","unstructured":"Jinyu Gu Qianqian Yu Xiayang Wang Zhaoguo Wang Binyu Zang Haibing Guan and Haibo Chen. 2019. Pisces: A scalable and efficient persistent transactional memory. In 2019 USENIX Annual Technical Conference. 913\u2013928."},{"key":"e_1_3_1_26_2","unstructured":"Jorge Guerra Leonardo Marmol Daniel Campello Carlos Crespo Raju Rangaswami and Jinpeng Wei. 2012. Software persistent memory. In 2012 USENIX Annual Technical Conference (USENIX ATC 12). 319\u2013331."},{"key":"e_1_3_1_27_2","article-title":"Understanding the intel\/micron 3d xpoint memory","volume":"68","author":"Handy Jim","year":"2015","unstructured":"Jim Handy. 2015. Understanding the intel\/micron 3d xpoint memory. Proc. SDC 68 (2015).","journal-title":"Proc. SDC"},{"key":"e_1_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Swapnil Haria Mark D Hill and Michael M Swift. 2020. MOD: Minimally ordered durable datastructures for persistent memory. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 775\u2013788.","DOI":"10.1145\/3373376.3378472"},{"key":"e_1_3_1_29_2","unstructured":"George Hodgkins Yi Xu Steven Swanson and Joseph Izraelevitz. 2023. Zhuque: Failure is Not an Option {it's} an Exception. In 2023 USENIX Annual Technical Conference (USENIX ATC 23). 833\u2013849."},{"key":"e_1_3_1_30_2","doi-asserted-by":"crossref","unstructured":"Morteza Hoseinzadeh and Steven Swanson. 2021. Corundum: Statically-enforced persistent memory safety. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. 429\u2013442.","DOI":"10.1145\/3445814.3446710"},{"key":"e_1_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Joseph Izraelevitz Terence Kelly and Aasheesh Kolli. 2016. Failure-atomic persistent memory updates via JUSTDO logging. ACM SIGARCH Computer Architecture News 44 2 (2016) 427\u2013442.","DOI":"10.1145\/2980024.2872410"},{"key":"e_1_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Jungi Jeong Jianping Zeng and Changhee Jung. 2022. Capri: Compiler and architecture support for whole-system persistence. In Proceedings of the 31st International Symposium on High-Performance Parallel and Distributed Computing. 71\u201383.","DOI":"10.1145\/3502181.3531474"},{"key":"e_1_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Rohan Kadekodi Saurabh Kadekodi Soujanya Ponnapalli Harshad Shirwadkar Gregory R Ganger Aasheesh Kolli and Vijay Chidambaram. 2021. WineFS: a hugepage-aware file system for persistent memory that ages gracefully. In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles. 804\u2013818.","DOI":"10.1145\/3477132.3483567"},{"key":"e_1_3_1_34_2","doi-asserted-by":"crossref","unstructured":"Rohan Kadekodi Se Kwon Lee Sanidhya Kashyap Taesoo Kim Aasheesh Kolli and Vijay Chidambaram. 2019. SplitFS: Reducing software overhead in file systems for persistent memory. In Proceedings of the 27th ACM Symposium on Operating Systems Principles. 494\u2013508.","DOI":"10.1145\/3341301.3359631"},{"key":"e_1_3_1_35_2","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). 191\u2013205."},{"key":"e_1_3_1_36_2","unstructured":"R Madhava Krishnan Diyu Zhou Wook-Hee Kim Sudarsun Kannan Sanidhya Kashyap and Changwoo Min. 2023. TENET: Memory Safe and Fault Tolerant Persistent Transactional Memory. In 21st USENIX Conference on File and Storage Technologies (FAST 23). 247\u2013264."},{"key":"e_1_3_1_37_2","unstructured":"Philip Lantz Subramanya Dulloor Sanjay Kumar Rajesh Sankaran and Jeff Jackson. 2014. Yat: A validation framework for persistent memory software. In 2014 USENIX Annual Technical Conference (USENIX ATC 14). 433\u2013438."},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_1_39_2","doi-asserted-by":"crossref","unstructured":"Hayley LeBlanc Shankara Pailoor Om Saran KRE Isil Dillig James Bornholt and Vijay Chidambaram. 2023. Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. In Proceedings of the Eighteenth European Conference on Computer Systems. 718\u2013733.","DOI":"10.1145\/3552326.3567498"},{"key":"e_1_3_1_40_2","doi-asserted-by":"crossref","unstructured":"Ruey-Heng Lee and Peng-Sheng Chen. 2023. Pointer Analysis for Programs on Hybrid DRAM-PM Memory Systems. In Proceedings of the 52nd International Conference on Parallel Processing Workshops. 96\u2013103.","DOI":"10.1145\/3605731.3605906"},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00029"},{"key":"e_1_3_1_42_2","doi-asserted-by":"crossref","unstructured":"Sihang Liu Suyash Mahar Baishakhi Ray and Samira Khan. 2021. PMFuzz: Test case generation for persistent memory programs. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. 487\u2013502.","DOI":"10.1145\/3445814.3446691"},{"key":"e_1_3_1_43_2","doi-asserted-by":"crossref","unstructured":"Sihang Liu Korakit Seemakhupt Yizhou Wei Thomas Wenisch Aasheesh Kolli and Samira Khan. 2020. Cross-failure bug detection in persistent memory programs. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 1187\u20131202.","DOI":"10.1145\/3373376.3378452"},{"key":"e_1_3_1_44_2","doi-asserted-by":"crossref","unstructured":"Sihang Liu Yizhou Wei Jishen Zhao Aasheesh Kolli and Samira Khan. 2019. PMTest: A fast and flexible testing framework for persistent memory programs. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 411\u2013425.","DOI":"10.1145\/3297858.3304015"},{"key":"e_1_3_1_45_2","doi-asserted-by":"crossref","unstructured":"Suyash Mahar Mingyao Shen TJ Smith Joseph Izraelevitz and Steven Swanson. 2024. Puddles: Application-Independent Recovery and Location-Independent Data for Persistent Memory. In Proceedings of the Nineteenth European Conference on Computer Systems. 575\u2013589.","DOI":"10.1145\/3627703.3629555"},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3278141"},{"key":"e_1_3_1_47_2","doi-asserted-by":"crossref","unstructured":"Amirsaman Memaripour Joseph Izraelevitz and Steven Swanson. 2020. Pronto: Easy and fast persistence for volatile data structures. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 789\u2013806.","DOI":"10.1145\/3373376.3378456"},{"key":"e_1_3_1_48_2","unstructured":"Enrico Mezzetti Niklas Holsti Antoine Colin Guillem Bernat and Tullio Vardanega. 2008. Attacking the sources of unpredictability in the instruction cache behavior. In 16th International Conference on Real-Time and Network Systems (RTNS 2008)."},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3093336.3037730"},{"key":"e_1_3_1_50_2","doi-asserted-by":"crossref","unstructured":"Dushyanth Narayanan and Orion Hodson. 2012. Whole-system persistence. In Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems. 401\u2013410.","DOI":"10.1145\/2150976.2151018"},{"key":"e_1_3_1_51_2","unstructured":"Ian Neal Ben Reeves Ben Stoler Andrew Quinn Youngjin Kwon Simon Peter and Baris Kasikci. 2020. AGAMOTTO: How Persistent is your Persistent Memory Application?. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). 1047\u20131064."},{"key":"e_1_3_1_52_2","unstructured":"Ian Neal Gefei Zuo Eric Shiple Tanvir Ahmed Khan Youngjin Kwon Simon Peter and Baris Kasikci. 2021. Rethinking file mapping for persistent memory. In 19th USENIX Conference on File and Storage Technologies (FAST 21). 97\u2013111."},{"key":"e_1_3_1_53_2","volume-title":"Principles of program analysis","author":"Nielson Flemming","year":"2015","unstructured":"Flemming Nielson, Hanne R Nielson, and Chris Hankin. 2015. Principles of program analysis. Springer."},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.5555\/898770"},{"key":"e_1_3_1_55_2","unstructured":"LLVM Project. 2022. TargetTransformInfo Class Reference. https:\/\/llvm.org\/doxygen\/classllvm_1_1TargetTransformInfo.html. Accessed: 2022-3-1."},{"key":"e_1_3_1_56_2","doi-asserted-by":"crossref","unstructured":"Jonathan S Shapiro Jonathan M Smith and David J Farber. 1999. EROS: a fast capability system. In Proceedings of the seventeenth ACM symposium on Operating systems principles. 170\u2013185.","DOI":"10.1145\/319151.319163"},{"key":"e_1_3_1_57_2","doi-asserted-by":"crossref","unstructured":"Zhan Shi Xiangru Huang Akanksha Jain and Calvin Lin. 2019. Applying deep learning to the cache replacement problem. In Proceedings of the 52nd Annual IEEE\/ACM International Symposium on Microarchitecture. 413\u2013425.","DOI":"10.1145\/3352460.3358319"},{"key":"e_1_3_1_58_2","doi-asserted-by":"publisher","DOI":"10.1145\/3412852"},{"key":"e_1_3_1_59_2","doi-asserted-by":"crossref","unstructured":"Thomas Shull Jian Huang and Josep Torrellas. 2019. AutoPersist: an easy-to-use Java NVM framework based on reachability. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 316\u2013332.","DOI":"10.1145\/3314221.3314608"},{"key":"e_1_3_1_60_2","doi-asserted-by":"crossref","unstructured":"Yulei Sui and Jingling Xue. 2016. SVF: interprocedural static value-flow analysis in LLVM. In Proceedings of the 25th international conference on compiler construction. 265\u2013266.","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_1_61_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483563"},{"key":"e_1_3_1_62_2","doi-asserted-by":"crossref","unstructured":"Alexander van Renen Viktor Leis Alfons Kemper Thomas Neumann Takushi Hashida Kazuichi Oe Yoshiyasu Doi Lilian Harada and Mitsuru Sato. 2018. Managing non-volatile memory in database systems. In Proceedings of the 2018 International Conference on Management of Data. 1541\u20131555.","DOI":"10.1145\/3183713.3196897"},{"key":"e_1_3_1_63_2","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950379"},{"key":"e_1_3_1_64_2","unstructured":"Qing Wang Youyou Lu Jing Wang and Jiwu Shu. 2023. Replicating Persistent Memory Key-Value Stores with Efficient {RDMA} Abstraction. In 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). 441\u2013459."},{"key":"e_1_3_1_65_2","doi-asserted-by":"crossref","unstructured":"Yu Chen Wang Angela Demke Brown and Ashvin Goel. 2023. Integrating Non-Volatile Main Memory in a Deterministic Database. In Proceedings of the Eighteenth European Conference on Computer Systems. 672\u2013686.","DOI":"10.1145\/3552326.3567494"},{"key":"e_1_3_1_66_2","unstructured":"Xingda Wei Xiating Xie Rong Chen Haibo Chen and Binyu Zang. 2021. Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM. In 2021 USENIX Annual Technical Conference (USENIX ATC 21). 523\u2013536."},{"key":"e_1_3_1_67_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2070050"},{"key":"e_1_3_1_68_2","doi-asserted-by":"crossref","unstructured":"Fangnuo Wu Mingkai Dong Gequan Mo and Haibo Chen. 2023. TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. In Proceedings of the 29th Symposium on Operating Systems Principles. 1\u201316.","DOI":"10.1145\/3600006.3613160"},{"key":"e_1_3_1_69_2","doi-asserted-by":"crossref","unstructured":"Mingyu Wu Ziming Zhao Haoyu Li Heting Li Haibo Chen Binyu Zang and Haibing Guan. 2018. Espresso: Brewing java for more non-volatility with non-volatile memory. In Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems. 70\u201383.","DOI":"10.1145\/3173162.3173201"},{"key":"e_1_3_1_70_2","doi-asserted-by":"crossref","unstructured":"Lingfeng Xiang Xingsheng Zhao Jia Rao Song Jiang and Hong Jiang. 2022. Characterizing the performance of intel optane persistent memory: a close look at its on-dimm buffering. In Proceedings of the Seventeenth European Conference on Computer Systems. 488\u2013505.","DOI":"10.1145\/3492321.3519556"},{"key":"e_1_3_1_71_2","doi-asserted-by":"crossref","unstructured":"Yi Xu Joseph Izraelevitz and Steven Swanson. 2021. Clobber-NVM: log less re-execute more. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. 346\u2013359.","DOI":"10.1145\/3445814.3446730"},{"key":"e_1_3_1_72_2","doi-asserted-by":"crossref","unstructured":"Yuanchao Xu Chencheng Ye Yan Solihin and Xipeng Shen. 2022. FFCCD: fence-free crash-consistent concurrent defragmentation for persistent memory. In Proceedings of the 49th Annual International Symposium on Computer Architecture. 274\u2013288.","DOI":"10.1145\/3470496.3527406"},{"key":"e_1_3_1_73_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00042"},{"key":"e_1_3_1_74_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA56546.2023.10071088"},{"key":"e_1_3_1_75_2","doi-asserted-by":"crossref","unstructured":"Chencheng Ye Yuanchao Xu Xipeng Shen Yan Sha Xiaofei Liao Hai Jin and Yan Solihin. 2023. SpecPMT: Speculative Logging for Resolving Crash Consistency Overhead of Persistent Memory. In Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems Volume 2. 762\u2013777.","DOI":"10.1145\/3575693.3575696"},{"key":"e_1_3_1_76_2","unstructured":"Lu Zhang and Steven Swanson. 2019. Pangolin: A Fault-Tolerant persistent memory programming library. In 2019 USENIX Annual Technical Conference (USENIX ATC 19). 897\u2013912."},{"key":"e_1_3_1_77_2","unstructured":"Ming Zhang Yu Hua Pengfei Zuo and Lurong Liu. 2022. FORD: Fast One-sided RDMA-based Distributed Transactions for Disaggregated Persistent Memory. In 20th USENIX Conference on File and Storage Technologies (FAST 22). 51\u201368."},{"key":"e_1_3_1_78_2","doi-asserted-by":"crossref","unstructured":"Wenhui Zhang Xingsheng Zhao Song Jiang and Hong Jiang. 2021. ChameleonDB: a key-value store for optane persistent memory. In Proceedings of the Sixteenth European Conference on Computer Systems. 194\u2013209.","DOI":"10.1145\/3447786.3456237"},{"key":"e_1_3_1_79_2","doi-asserted-by":"crossref","unstructured":"Yiyu Zhang Yongzhi Wang Yanfeng Gao Xuandong Li and Zhiqiang Zuo. 2025. HybridPersist: A Compiler Support for User-Friendly and Efficient PM Programming (Artifact). https:\/\/doi.org\/10.5281\/zenodo.15754783.","DOI":"10.1145\/3763089"},{"key":"e_1_3_1_80_2","doi-asserted-by":"crossref","unstructured":"Diyu Zhou Vojtech Aschenbrenner Tao Lyu Jian Zhang Sudarsun Kannan and Sanidhya Kashyap. 2023. Enabling High-Performance and Secure Userspace NVM File Systems with the Trio Architecture. In Proceedings of the 29th Symposium on Operating Systems Principles. 150\u2013165.","DOI":"10.1145\/3600006.3613171"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3763089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T10:09:54Z","timestamp":1784196594000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3763089"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,9]]},"references-count":79,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2025,10,9]]}},"alternative-id":["10.1145\/3763089"],"URL":"https:\/\/doi.org\/10.1145\/3763089","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,9]]},"assertion":[{"value":"2025-03-26","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"}}]}}