{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T11:40:01Z","timestamp":1755776401180,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"European Union?s Horizon 2020","award":["952226"],"award-info":[{"award-number":["952226"]}]},{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia (FCT)","award":["UIDB\/50021\/2020, 2024.01891.BD, 2021.07401.BD, PTDC\/CCI-COM\/4485\/2021 (Ainur)"],"award-info":[{"award-number":["UIDB\/50021\/2020, 2024.01891.BD, 2021.07401.BD, PTDC\/CCI-COM\/4485\/2021 (Ainur)"]}]},{"name":"Composable Foundation Ltd.","award":["ScalableCosmosConsensus"],"award-info":[{"award-number":["ScalableCosmosConsensus"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3689031.3717477","type":"proceedings-article","created":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:25:20Z","timestamp":1742970320000},"page":"1092-1108","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0393-6133","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Oliveira","sequence":"first","affiliation":[{"name":"IST Lisbon & INESC-ID, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0131-1324","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Gon\u00e7alves","sequence":"additional","affiliation":[{"name":"IST Lisbon & INESC-ID, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6916-2866","authenticated-orcid":false,"given":"Miguel","family":"Matos","sequence":"additional","affiliation":[{"name":"IST Lisbon & INESC-ID, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2025,3,30]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/115953.115976"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/3503222.3507755"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/1807128.1807152"},{"unstructured":"Intel Corporation. 2024. Persistent Memory Development Kit. https:\/\/pmem.io\/pmdk\/","key":"e_1_3_2_1_4_1"},{"unstructured":"Lenovo Corporation. 2018. Memcached-pmem. https:\/\/github.com\/lenovo\/memcached-pmem.","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/3609308.3625268"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/3445814.3446744"},{"key":"e_1_3_2_1_8_1","volume-title":"Jia Yu, Chi Wang, Jaeyoung Do, Yinan Li, Hantian Zhang, Badrish Chandramouli, Johannes Gehrke, Donald Kossmann, David Lomet, and Tim Kraska.","author":"Ding Jialin","year":"2020","unstructured":"Jialin Ding, Umar Farooq Minhas, Jia Yu, Chi Wang, Jaeyoung Do, Yinan Li, Hantian Zhang, Badrish Chandramouli, Johannes Gehrke, Donald Kossmann, David Lomet, and Tim Kraska. 2020. ALEX: An Updatable Adaptive Learned Index. Technical Report MSR-TR-2020-12. Microsoft. https:\/\/www.microsoft.com\/en-us\/research\/publication\/msr-alex-techreport\/ SIGMOD 2020 | June 2020."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/3341301.3359637"},{"volume-title":"New Opportunities for Persistent Memory Applications","year":"2021","unstructured":"eADR: New Opportunities for Persistent Memory Applications 2021. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/eadr-new-opportunities-for-persistent-memory-applications.html","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/945445.945468"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/69215.69233"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/s11219-017-9385-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/3477132.3483556"},{"key":"e_1_3_2_1_15_1","volume-title":"DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Fu Xinwei","year":"2022","unstructured":"Xinwei Fu, Dongyoon Lee, and Changwoo Min. 2022. DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). USENIX Association, Carlsbad, CA, 195--211. https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/fu"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/3552326.3587447"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/3445814.3446735"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/3503222.3507766"},{"key":"e_1_3_2_1_19_1","volume-title":"SplitKV: Splitting IO Paths for Different Sized Key-Value Items with Advanced Storage Devices. In 12th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 20)","author":"Han Shukai","year":"2020","unstructured":"Shukai Han, Dejun Jiang, and Jin Xiong. 2020. SplitKV: Splitting IO Paths for Different Sized Key-Value Items with Advanced Storage Devices. In 12th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 20). USENIX Association. https:\/\/www.usenix.org\/conference\/hotstorage20\/presentation\/han"},{"key":"e_1_3_2_1_20_1","volume-title":"16th USENIX Conference on File and Storage Technologies (FAST 18)","author":"Hwang Deukyeon","year":"2018","unstructured":"Deukyeon Hwang, Wook-Hee Kim, Youjip Won, and Beomseok Nam. 2018. Endurable Transient Inconsistency in Byte-Addressable Persistent B+-Tree. In 16th USENIX Conference on File and Storage Technologies (FAST 18). 187--200."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1109\/IPDPS.2009.5160998"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/3477132.3483589"},{"key":"e_1_3_2_1_23_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--438. https:\/\/www.usenix.org\/conference\/atc14\/technical-sessions\/presentation\/lantz"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/3341301.3359635"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/3477132.3483579"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/3373376.3378452"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/3297858.3304015"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.14778\/3494124.3494141"},{"key":"e_1_3_2_1_29_1","volume-title":"Vijay Janapa Reddi, and Kim Hazelwood","author":"Luk Chi-Keung","year":"2005","unstructured":"Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood. 2005. Pin: building customized program analysis tools with dynamic instrumentation. Acm sigplan notices 40, 6 (2005), 190--200."},{"unstructured":"memcached. 2009. Memcached. https:\/\/github.com\/memcached\/memcached.","key":"e_1_3_2_1_30_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/3037697.3037730"},{"key":"e_1_3_2_1_32_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). 31--44."},{"key":"e_1_3_2_1_33_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--1064. https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/neal"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1145\/265924.265927"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1007\/978-1-4842-4932-1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1145\/1379022.1375584"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1145\/3634915"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1145\/3472456.3472458"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.5555\/3386691.3386708"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1145\/3456727.3463774"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1145\/3579370.3594766"},{"key":"e_1_3_2_1_42_1","volume-title":"MadFS:Per-File Virtualization for Userspace Persistent Memory Filesystems. In 21st USENIX Conference on File and Storage Technologies (FAST 23)","author":"Zhong Shawn","year":"2023","unstructured":"Shawn Zhong, Chenhao Ye, Guanzhou Hu, Suyan Qu, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, and Michael Swift. 2023. MadFS:Per-File Virtualization for Userspace Persistent Memory Filesystems. In 21st USENIX Conference on File and Storage Technologies (FAST 23). 265--280."}],"event":{"sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"acronym":"EuroSys '25","name":"EuroSys '25: Twentieth European Conference on Computer Systems","location":"Rotterdam Netherlands"},"container-title":["Proceedings of the Twentieth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689031.3717477","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689031.3717477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T11:21:54Z","timestamp":1755775314000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689031.3717477"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":42,"alternative-id":["10.1145\/3689031.3717477","10.1145\/3689031"],"URL":"https:\/\/doi.org\/10.1145\/3689031.3717477","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-03-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}