{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:29:32Z","timestamp":1754144972485,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","funder":[{"name":"PRISM","award":[""],"award-info":[{"award-number":[""]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,13]]},"DOI":"10.1145\/3735950.3735955","type":"proceedings-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T15:04:50Z","timestamp":1749827090000},"page":"41-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Compiler-Assisted Crash Consistency for PMEM"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-5472-2006","authenticated-orcid":false,"given":"Yun Joon","family":"Soh","sequence":"first","affiliation":[{"name":"University of California San Diego, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9706-6177","authenticated-orcid":false,"given":"Sihang","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5896-1037","authenticated-orcid":false,"given":"Steven","family":"Swanson","sequence":"additional","affiliation":[{"name":"University of California San Diego, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8766-0946","authenticated-orcid":false,"given":"Jishen","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of California San Diego, San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00019"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660224"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507755"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950380"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378481"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446744"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454105"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192367"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00060"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523723"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446735"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507766"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3669940.3707269"},{"key":"e_1_3_2_2_14_1","volume-title":"Exception. In 2023 USENIX Annual Technical Conference (USENIX ATC 23)","author":"Hodgkins George","year":"2023","unstructured":"George Hodgkins, Yi Xu, Steven Swanson, and Joseph Izraelevitz. 2023. Zhuque: Failure is Not an Option, it\u2019 s an Exception. In 2023 USENIX Annual Technical Conference (USENIX ATC 23). USENIX Association, Boston, MA. 833\u2013849. isbn:978-1-939133-35-9 https:\/\/www.usenix.org\/conference\/atc23\/presentation\/hodgkins"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064204"},{"key":"e_1_3_2_2_16_1","volume-title":"2021 USENIX Annual Technical Conference (USENIX ATC 21)","author":"Huang Hanxian","year":"2021","unstructured":"Hanxian Huang, Zixuan Wang, Juno Kim, Steven Swanson, and Jishen Zhao. 2021. Ayudante: A Deep Reinforcement Learning Approach to Assist Persistent Memory Programming. In 2021 USENIX Annual Technical Conference (USENIX ATC 21). USENIX Association, 789\u2013804. isbn:978-1-939133-23-6 https:\/\/www.usenix.org\/conference\/atc21\/presentation\/huang-hanxian"},{"key":"e_1_3_2_2_17_1","unstructured":"Intel Coporation. 2019. PMDK. https:\/\/pmem.io\/pmdk\/"},{"key":"e_1_3_2_2_18_1","unstructured":"Intel Corporation. 2019. PMReorder. https:\/\/pmem.io\/pmdk\/pmreorder"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980024.2872410"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446698"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502181.3531474"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2017.50"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359631"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3409963.3410489"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2016.7783761"},{"key":"e_1_3_2_2_26_1","volume-title":"Yat: A Validation Framework for Persistent Memory Software. In 2014 USENIX Annual Technical Conference (USENIX ATC 14)","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 2014 USENIX Annual Technical Conference (USENIX ATC 14). 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_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3552326.3567498"},{"key":"e_1_3_2_2_28_1","volume-title":"18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24)","author":"LeBlanc Hayley","year":"2024","unstructured":"Hayley LeBlanc, Nathan Taylor, James Bornholt, and Vijay Chidambaram. 2024. SquirrelFS: using the Rust compiler to check file-system crash consistency. In 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). USENIX Association, Santa Clara, CA. 387\u2013404. isbn:978-1-939133-40-3 https:\/\/www.usenix.org\/conference\/osdi24\/presentation\/leblanc"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359635"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3565026"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00029"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446691"},{"key":"e_1_3_2_2_33_1","volume-title":"Janus: Optimizing Memory and Storage Support for Non-Volatile Memory Systems. In 2019 ACM\/IEEE 46th Annual International Symposium on Computer Architecture (ISCA). 143\u2013156","author":"Liu Sihang","year":"2019","unstructured":"Sihang Liu, Korakit Seemakhupt, Gennady Pekhimenko, Aasheesh Kolli, and Samira Khan. 2019. Janus: Optimizing Memory and Storage Support for Non-Volatile Memory Systems. In 2019 ACM\/IEEE 46th Annual International Symposium on Computer Architecture (ISCA). 143\u2013156."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378452"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304015"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT52795.2021.00025"},{"key":"e_1_3_2_2_37_1","volume-title":"Snapshot: Fast, Userspace Crash Consistency for CXL and PM Using msync. arxiv:2310.16300. arxiv:2310.16300","author":"Mahar Suyash","year":"2023","unstructured":"Suyash Mahar, Mingyao Shen, Terence Kelly, and Steven Swanson. 2023. Snapshot: Fast, Userspace Crash Consistency for CXL and PM Using msync. arxiv:2310.16300. arxiv:2310.16300"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3627703.3629555"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064215"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037730"},{"key":"e_1_3_2_2_41_1","volume-title":"Write-Optimized Dynamic Hashing for Persistent Memory. In 17th USENIX Conference on File and Storage Technologies (FAST 19)","author":"Nam Moohyeon","year":"2019","unstructured":"Moohyeon Nam, Hokeun Cha, Young ri Choi, Sam H. Noh, and Beomseok Nam. 2019. Write-Optimized Dynamic Hashing for Persistent Memory. In 17th USENIX Conference on File and Storage Technologies (FAST 19). USENIX Association, Boston, MA. 31\u201344. isbn:978-1-939133-09-0 https:\/\/www.usenix.org\/conference\/fast19\/presentation\/nam"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446694"},{"key":"e_1_3_2_2_43_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, 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). USENIX Association, 1047\u20131064. isbn:978-1-939133-19-9 https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/neal"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2018.00037"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3375792"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3631882.3631907"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950379"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00057"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132761"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446730"},{"key":"e_1_3_2_2_51_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. arxiv:2405.19626"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA53966.2022.00070"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480102"},{"key":"e_1_3_2_2_54_1","volume-title":"Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC \u201919)","author":"Zhang Lu","year":"2019","unstructured":"Lu Zhang and Steven Swanson. 2019. Pangolin: A Fault-Tolerant Persistent Memory Programming Library. In Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC \u201919). USENIX Association, USA. 897\u2013911. isbn:9781939133038"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA56546.2023.10071034"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613135"},{"volume-title":"2013 46th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO). 421\u2013432","author":"Zhao Jishen","key":"e_1_3_2_2_57_1","unstructured":"Jishen Zhao, Sheng Li, Doe Hyun Yoon, Yuan Xie, and Norman P. Jouppi. 2013. Kiln: Closing the performance gap between systems with and without persistence support. In 2013 46th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO). 421\u2013432."},{"key":"e_1_3_2_2_58_1","volume-title":"Ziggurat: A Tiered File System for Non-Volatile Main Memories and Disks. In 17th USENIX Conference on File and Storage Technologies (FAST 19)","author":"Zheng Shengan","year":"2019","unstructured":"Shengan Zheng, Morteza Hoseinzadeh, and Steven Swanson. 2019. Ziggurat: A Tiered File System for Non-Volatile Main Memories and Disks. In 17th USENIX Conference on File and Storage Technologies (FAST 19). USENIX Association, Boston, MA. 207\u2013219. isbn:978-1-939133-09-0 https:\/\/www.usenix.org\/conference\/fast19\/presentation\/zheng"}],"event":{"name":"ISMM '25: 2025 ACM SIGPLAN International Symposium on Memory Management","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Seoul Republic of Korea","acronym":"ISMM '25"},"container-title":["Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3735950.3735955","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T07:02:03Z","timestamp":1752649323000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3735950.3735955"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,13]]},"references-count":58,"alternative-id":["10.1145\/3735950.3735955","10.1145\/3735950"],"URL":"https:\/\/doi.org\/10.1145\/3735950.3735955","relation":{},"subject":[],"published":{"date-parts":[[2025,6,13]]},"assertion":[{"value":"2025-06-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}