{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:54:13Z","timestamp":1760043253161,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T00:00:00Z","timestamp":1683504000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["2021.07401.BD","UIDB\/50021\/2020","PTDC\/CCI-COM\/4485\/2021","PTDC\/CCI-INF\/6762\/2020"],"award-info":[{"award-number":["2021.07401.BD","UIDB\/50021\/2020","PTDC\/CCI-COM\/4485\/2021","PTDC\/CCI-INF\/6762\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,8]]},"DOI":"10.1145\/3552326.3587447","type":"proceedings-article","created":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:33:02Z","timestamp":1683307982000},"page":"734-750","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Mumak: Efficient and Black-Box Bug Detection for Persistent Memory"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0131-1324","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Gon\u00e7alves","sequence":"first","affiliation":[{"name":"Instituto Superior T\u00e9cnico (ULisboa), Lisboa, Portugal"},{"name":"INESC-ID, Lisboa, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6916-2866","authenticated-orcid":false,"given":"Miguel","family":"Matos","sequence":"additional","affiliation":[{"name":"Instituto Superior T\u00e9cnico (ULisboa), Lisboa, Portugal"},{"name":"INESC-ID, Lisboa, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8367-4024","authenticated-orcid":false,"given":"Rodrigo","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"Instituto Superior T\u00e9cnico (ULisboa), Lisboa, Portugal"},{"name":"INESC-ID, Lisboa, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3492321.3519574"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2018.00046"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507755"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950380"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_1_6_1","unstructured":"Intel Corporation. eADR: New opportunities for persistent memory applications. URL: https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/technical\/eadr-new-opportunities-for-persistent-memory-applications.html.  Intel Corporation. eADR: New opportunities for persistent memory applications. URL: 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_7_1","unstructured":"Intel Corporation. Enhanced valgrind for persistent memory. URL: https:\/\/github.com\/pmem\/valgrind.  Intel Corporation. Enhanced valgrind for persistent memory. URL: https:\/\/github.com\/pmem\/valgrind."},{"key":"e_1_3_2_1_8_1","unstructured":"Intel Corporation. Pmdk version 1.12.0. URL: https:\/\/github.com\/pmem\/pmdk\/releases\/tag\/1.12.0.  Intel Corporation. Pmdk version 1.12.0. URL: https:\/\/github.com\/pmem\/pmdk\/releases\/tag\/1.12.0."},{"key":"e_1_3_2_1_9_1","unstructured":"Intel Corporation. pmem\/pmemkv: Key\/value datastore for persistent memory. URL: https:\/\/github.com\/pmem\/pmemkv.  Intel Corporation. pmem\/pmemkv: Key\/value datastore for persistent memory. URL: https:\/\/github.com\/pmem\/pmemkv."},{"key":"e_1_3_2_1_10_1","unstructured":"Intel Corporation. pmem\/redis: Redis adapted to use persistent memory. URL: https:\/\/github.com\/pmem\/redis.  Intel Corporation. pmem\/redis: Redis adapted to use persistent memory. URL: https:\/\/github.com\/pmem\/redis."},{"key":"e_1_3_2_1_11_1","unstructured":"Intel Corporation. pmem\/rocksdb: A version of rocksdb that uses persistent memory. URL: https:\/\/github.com\/pmem\/redis.  Intel Corporation. pmem\/rocksdb: A version of rocksdb that uses persistent memory. URL: https:\/\/github.com\/pmem\/redis."},{"key":"e_1_3_2_1_12_1","volume-title":"Persistent memory development kit","author":"Intel Corporation","year":"2022","unstructured":"Intel Corporation . Persistent memory development kit , 2022 . URL : https:\/\/pmem.io\/pmdk\/. Intel Corporation. Persistent memory development kit, 2022. URL: https:\/\/pmem.io\/pmdk\/."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446744"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901344"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483556"},{"key":"e_1_3_2_1_16_1","first-page":"195","volume-title":"16th USENIX Symposium on Operating Systems Design and Implementation, OSDI'22","author":"Fu Xinwei","year":"2022","unstructured":"Xinwei Fu , Dongyoon Lee , and Changwoo Min . DURINN : Adversarial memory and thread interleaving for detecting durable linearizability bugs . In 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI'22 , pages 195 -- 211 . USENIX Association , 2022 . URL: https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/fu. Xinwei Fu, Dongyoon Lee, and Changwoo Min. DURINN: Adversarial memory and thread interleaving for detecting durable linearizability bugs. In 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI'22, pages 195--211. USENIX Association, 2022. URL: https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/fu."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385991"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSST.2015.7208276"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446735"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507766"},{"key":"e_1_3_2_1_21_1","first-page":"187","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 . Endurable transient inconsistency in Byte-Addressable persistent B+-Tree . In 16th USENIX Conference on File and Storage Technologies, FAST'18 , pages 187 -- 200 . USENIX Association , 2018 . URL: https:\/\/www.usenix.org\/conference\/fast18\/presentation\/hwang. Deukyeon Hwang, Wook-Hee Kim, Youjip Won, and Beomseok Nam. Endurable transient inconsistency in Byte-Addressable persistent B+-Tree. In 16th USENIX Conference on File and Storage Technologies, FAST'18, pages 187--200. USENIX Association, 2018. URL: https:\/\/www.usenix.org\/conference\/fast18\/presentation\/hwang."},{"key":"e_1_3_2_1_22_1","volume-title":"Persistent memory analysis tool (pmat)","author":"Jenkins Louis","year":"2019","unstructured":"Louis Jenkins and M. Scott . Persistent memory analysis tool (pmat) . 2019 . Louis Jenkins and M. Scott. Persistent memory analysis tool (pmat). 2019."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359631"},{"key":"e_1_3_2_1_24_1","first-page":"191","volume-title":"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 . SLM-DB : Single-Level Key-Value store with persistent memory . In 17th USENIX Conference on File and Storage Technologies, FAST'19 , pages 191 -- 205 . USENIX Association , 2019 . URL: https:\/\/www.usenix.org\/conference\/fast19\/presentation\/kaiyrakhmet. Olzhas Kaiyrakhmet, Songyi Lee, Beomseok Nam, Sam H. Noh, and Young ri Choi. SLM-DB: Single-Level Key-Value store with persistent memory. In 17th USENIX Conference on File and Storage Technologies, FAST'19, pages 191--205. USENIX Association, 2019. URL: https:\/\/www.usenix.org\/conference\/fast19\/presentation\/kaiyrakhmet."},{"key":"e_1_3_2_1_25_1","first-page":"933","volume-title":"2022 USENIX Annual Technical Conference, ATC'22","author":"Kalbfleisch Samuel","year":"2022","unstructured":"Samuel Kalbfleisch , Lukas Werling , and Frank Bellosa . Vinter : Automatic Non-Volatile memory crash consistency testing for full systems . In 2022 USENIX Annual Technical Conference, ATC'22 , pages 933 -- 950 . USENIX Association , 2022 . URL: https:\/\/www.usenix.org\/conference\/atc22\/presentation\/werling. Samuel Kalbfleisch, Lukas Werling, and Frank Bellosa. Vinter: Automatic Non-Volatile memory crash consistency testing for full systems. In 2022 USENIX Annual Technical Conference, ATC'22, pages 933--950. USENIX Association, 2022. URL: https:\/\/www.usenix.org\/conference\/atc22\/presentation\/werling."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132770"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2643634.2643678"},{"key":"e_1_3_2_1_28_1","first-page":"257","volume-title":"15th USENIX Conference on File and Storage Technologies, FAST'17","author":"Lee Se Kwon","year":"2017","unstructured":"Se Kwon Lee , K. Hyun Lim , Hyunsub Song , Beomseok Nam , and Sam H. Noh . WORT: Write optimal radix tree for persistent memory storage systems . In 15th USENIX Conference on File and Storage Technologies, FAST'17 , pages 257 -- 270 . USENIX Association , 2017 . URL: https:\/\/www.usenix.org\/conference\/fast17\/technical-sessions\/presentation\/lee-se-kwon. Se Kwon Lee, K. Hyun Lim, Hyunsub Song, Beomseok Nam, and Sam H. Noh. WORT: Write optimal radix tree for persistent memory storage systems. In 15th USENIX Conference on File and Storage Technologies, FAST'17, pages 257--270. USENIX Association, 2017. URL: https:\/\/www.usenix.org\/conference\/fast17\/technical-sessions\/presentation\/lee-se-kwon."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359635"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3565026"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2019.2908175"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093336.3037714"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446691"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378452"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.14778\/3389133.3389134"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2014"},{"key":"e_1_3_2_1_39_1","volume-title":"9th USENIX Workshop on Hot Topics in Storage and File Systems, HotStorage'17","author":"Marathe Virendra J.","year":"2017","unstructured":"Virendra J. Marathe , Margo Seltzer , Steve Byan , and Tim Harris . Persistent memcached : Bringing legacy code to Byte-Addressable persistent memory . In 9th USENIX Workshop on Hot Topics in Storage and File Systems, HotStorage'17 . USENIX Association , 2017 . URL: https:\/\/www.usenix.org\/conference\/hotstorage17\/program\/presentation\/marathe. Virendra J. Marathe, Margo Seltzer, Steve Byan, and Tim Harris. Persistent memcached: Bringing legacy code to Byte-Addressable persistent memory. In 9th USENIX Workshop on Hot Topics in Storage and File Systems, HotStorage'17. USENIX Association, 2017. URL: https:\/\/www.usenix.org\/conference\/hotstorage17\/program\/presentation\/marathe."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2524211.2524216"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/3323298.3323302"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446694"},{"key":"e_1_3_2_1_43_1","first-page":"1047","volume-title":"Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation","author":"Neal Ian","year":"2020","unstructured":"Ian Neal , Ben Reeves , Ben Stoler , Andrew Quinn , Youngjin Kwon , Simon Peter , and Baris Kasikci . AGAMOTTO : How persistent is your persistent memory application ? Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation , pages 1047 -- 1064 , 2020 . URL: https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/zhang-quanlu. Ian Neal, Ben Reeves, Ben Stoler, Andrew Quinn, Youngjin Kwon, Simon Peter, and Baris Kasikci. AGAMOTTO: How persistent is your persistent memory application? Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, pages 1047--1064, 2020. URL: https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/zhang-quanlu."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/3277332.3277354"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/2665671.2665712"},{"key":"e_1_3_2_1_46_1","unstructured":"pmem\/pmdk. Crash-consistency bug within libart. URL: https:\/\/github.com\/pmem\/pmdk\/issues\/5512.  pmem\/pmdk. Crash-consistency bug within libart. URL: https:\/\/github.com\/pmem\/pmdk\/issues\/5512."},{"key":"e_1_3_2_1_47_1","unstructured":"pmem\/pmdk. Crash-consistency bug within pmemobj_tx_commit. URL: https:\/\/github.com\/pmem\/pmdk\/issues\/5461.  pmem\/pmdk. Crash-consistency bug within pmemobj_tx_commit. URL: https:\/\/github.com\/pmem\/pmdk\/issues\/5461."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371079"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483550"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503221.3508427"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447818.3460356"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2830772.2830802"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-4932-1_2"},{"key":"e_1_3_2_1_54_1","first-page":"28","volume-title":"Proceedings of the 2012 USENIX Conference on Annual Technical Conference, ATC'12","author":"Serebryany Konstantin","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitry Vyukov. Addresssanitizer : A fast address sanity checker . In Proceedings of the 2012 USENIX Conference on Annual Technical Conference, ATC'12 , page 28 . USENIX Association, 2012. Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. Addresssanitizer: A fast address sanity checker. In Proceedings of the 2012 USENIX Conference on Annual Technical Conference, ATC'12, page 28. USENIX Association, 2012."},{"key":"e_1_3_2_1_55_1","unstructured":"urcs sync\/Montage. Fix allocator destruction. URL: https:\/\/github.com\/urcs-sync\/Montage\/commit\/3384e50105348fab6d80e897bfb4a0efdd8aa825.  urcs sync\/Montage. Fix allocator destruction. URL: https:\/\/github.com\/urcs-sync\/Montage\/commit\/3384e50105348fab6d80e897bfb4a0efdd8aa825."},{"key":"e_1_3_2_1_56_1","unstructured":"urcs sync\/Montage. Fix for automatic recoverability. URL: https:\/\/github.com\/urcs-sync\/Montage\/pull\/36.  urcs sync\/Montage. Fix for automatic recoverability. URL: https:\/\/github.com\/urcs-sync\/Montage\/pull\/36."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950379"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3472456.3472458"},{"key":"e_1_3_2_1_59_1","first-page":"323","volume-title":"14th USENIX Conference on File and Storage Technologies, FAST'16","author":"Xu Jian","year":"2016","unstructured":"Jian Xu and Steven Swanson . NOVA : A log-structured file system for hybrid Volatile\/Non-volatile main memories . In 14th USENIX Conference on File and Storage Technologies, FAST'16 , pages 323 -- 338 . USENIX Association , 2016 . URL: https:\/\/www.usenix.org\/conference\/fast16\/technical-sessions\/presentation\/xu. Jian Xu and Steven Swanson. NOVA: A log-structured file system for hybrid Volatile\/Non-volatile main memories. In 14th USENIX Conference on File and Storage Technologies, FAST'16, pages 323--338. USENIX Association, 2016. URL: https:\/\/www.usenix.org\/conference\/fast16\/technical-sessions\/presentation\/xu."},{"key":"e_1_3_2_1_60_1","first-page":"461","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation, OSDI'18","author":"Zuo Pengfei","year":"2018","unstructured":"Pengfei Zuo , Yu Hua , and Jie Wu . Write-Optimized and High-Performance hashing index scheme for persistent memory . In 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI'18 , pages 461 -- 476 . USENIX Association , 2018 . URL: https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/zuo. Pengfei Zuo, Yu Hua, and Jie Wu. Write-Optimized and High-Performance hashing index scheme for persistent memory. In 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI'18, pages 461--476. USENIX Association, 2018. URL: https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/zuo."}],"event":{"name":"EuroSys '23: Eighteenth European Conference on Computer Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Rome Italy","acronym":"EuroSys '23"},"container-title":["Proceedings of the Eighteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3587447","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3552326.3587447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:40Z","timestamp":1750178860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3587447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,8]]},"references-count":60,"alternative-id":["10.1145\/3552326.3587447","10.1145\/3552326"],"URL":"https:\/\/doi.org\/10.1145\/3552326.3587447","relation":{},"subject":[],"published":{"date-parts":[[2023,5,8]]},"assertion":[{"value":"2023-05-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}