{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:51:49Z","timestamp":1773193909310,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,17]],"date-time":"2021-04-17T00:00:00Z","timestamp":1618617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,19]]},"DOI":"10.1145\/3445814.3446744","type":"proceedings-article","created":{"date-parts":[[2021,4,11]],"date-time":"2021-04-11T17:06:26Z","timestamp":1618160786000},"page":"503-516","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Fast, flexible, and comprehensive bug detection for persistent memory programs"],"prefix":"10.1145","author":[{"given":"Bang","family":"Di","sequence":"first","affiliation":[{"name":"Hunan University, China"}]},{"given":"Jiawen","family":"Liu","sequence":"additional","affiliation":[{"name":"University of California at Merced, USA"}]},{"given":"Hao","family":"Chen","sequence":"additional","affiliation":[{"name":"Hunan University, China"}]},{"given":"Dong","family":"Li","sequence":"additional","affiliation":[{"name":"University of California at Merced, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data (SIGMOD).","author":"Arulraj Joy","unstructured":"Joy Arulraj , Andrew Pavlo , and Subramanya R. Dulloor . 2015. Let's Talk About Storage & Recovery Methods for Non-Volatile Memory Database Systems . In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data (SIGMOD). Joy Arulraj, Andrew Pavlo, and Subramanya R. Dulloor. 2015. Let's Talk About Storage & Recovery Methods for Non-Volatile Memory Database Systems. In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data (SIGMOD)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660224"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378515"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950380"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629589"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629589"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_1_8_1","unstructured":"Intel Corporation. 2015. An introduction to pmemcheck. https:\/\/pmem.io\/ 2015 \/ 07\/17\/pmemcheck-basic. html.  Intel Corporation. 2015. An introduction to pmemcheck. https:\/\/pmem.io\/ 2015 \/ 07\/17\/pmemcheck-basic. html."},{"key":"e_1_3_2_1_9_1","unstructured":"Intel Corporation. 2018. Intel architecture instruction set extensions programming reference. https:\/\/software.intel.com\/sites\/default\/files\/managed\/c5\/15\/ architecture-instruction-set-extensions-programming-reference.pdf.  Intel Corporation. 2018. Intel architecture instruction set extensions programming reference. https:\/\/software.intel.com\/sites\/default\/files\/managed\/c5\/15\/ architecture-instruction-set-extensions-programming-reference.pdf."},{"key":"e_1_3_2_1_10_1","unstructured":"Intel Corporation. 2018. Redis. https:\/\/github.com\/pmem\/redis\/tree\/3.2-nvml.  Intel Corporation. 2018. Redis. https:\/\/github.com\/pmem\/redis\/tree\/3.2-nvml."},{"key":"e_1_3_2_1_11_1","unstructured":"Intel Corporation. 2020. Detect Persistent Memory Programming Errors Using Persistence Inspector. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/ articles\/detect-persistent-memory-programming-errors-with-intel-inspectorpersistence-inspector.html.  Intel Corporation. 2020. Detect Persistent Memory Programming Errors Using Persistence Inspector. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/ articles\/detect-persistent-memory-programming-errors-with-intel-inspectorpersistence-inspector.html."},{"key":"e_1_3_2_1_12_1","unstructured":"Intel Corporation. 2020. Inconsistency bugs in array example for libpmemobj. https:\/\/github.com\/pmem\/pmdk\/issues\/4927.  Intel Corporation. 2020. Inconsistency bugs in array example for libpmemobj. https:\/\/github.com\/pmem\/pmdk\/issues\/4927."},{"key":"e_1_3_2_1_13_1","unstructured":"Intel Corporation. 2020. Intel Optane DC persistent memory. https: \/\/www.intel.com\/content\/www\/us\/en\/architecture-and-technology\/optanedc-persistent-memory.html.  Intel Corporation. 2020. Intel Optane DC persistent memory. https: \/\/www.intel.com\/content\/www\/us\/en\/architecture-and-technology\/optanedc-persistent-memory.html."},{"key":"e_1_3_2_1_14_1","unstructured":"Intel Corporation. 2020. Obj: fix data_store example transaction logic to remove redudant fences. https:\/\/github.com\/pmem\/pmdk\/pull\/4939\/commits\/ e394307ef2baea1de31fa054a1e2c3df3581a59.  Intel Corporation. 2020. Obj: fix data_store example transaction logic to remove redudant fences. https:\/\/github.com\/pmem\/pmdk\/pull\/4939\/commits\/ e394307ef2baea1de31fa054a1e2c3df3581a59."},{"key":"e_1_3_2_1_15_1","unstructured":"Intel Corporation. 2020. Persistent memory programming. https:\/\/pmem.io\/.  Intel Corporation. 2020. Persistent memory programming. https:\/\/pmem.io\/."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC).","author":"Denny Joel E.","unstructured":"Joel E. Denny , Seyong Lee , and Jefrey S. Vetter . 2016. NVL-C: Static Analysis Techniques for Eficient, Correct Programming of Non-Volatile Main Memory Systems . In Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC). Joel E. Denny, Seyong Lee, and Jefrey S. Vetter. 2016. NVL-C: Static Analysis Techniques for Eficient, Correct Programming of Non-Volatile Main Memory Systems. In Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359637"},{"key":"e_1_3_2_1_18_1","volume-title":"Relaxed Persist Ordering Using Strand Persistency. In ACM\/IEEE 47st International Symposium on Computer Architecture (ISCA).","author":"Gogte Vaibhav","unstructured":"Vaibhav Gogte , William Wang , Stephan Diestelhorst , Peter M. Chen , Satish Narayanasamy , and Thomas F. Wenisch . 2020 . Relaxed Persist Ordering Using Strand Persistency. In ACM\/IEEE 47st International Symposium on Computer Architecture (ISCA). Vaibhav Gogte, William Wang, Stephan Diestelhorst, Peter M. Chen, Satish Narayanasamy, and Thomas F. Wenisch. 2020. Relaxed Persist Ordering Using Strand Persistency. In ACM\/IEEE 47st International Symposium on Computer Architecture (ISCA)."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC).","author":"Gu Jinyu","year":"2019","unstructured":"Jinyu Gu , Qianqian Yu , Xiayang Wang , Zhaoguo Wang , Binyu Zang , Haibing Guan , and Haibo Chen . 2019 . Pisces: A Scalable and Eficient Persistent Transactional Memory . In Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC). Jinyu Gu, Qianqian Yu, Xiayang Wang, Zhaoguo Wang, Binyu Zang, Haibing Guan, and Haibo Chen. 2019. Pisces: A Scalable and Eficient Persistent Transactional Memory. In Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC)."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).","author":"Haria Swapnil","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 (ASPLOS). 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 (ASPLOS)."},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the Twelfth European Conference on Computer Systems (EuroSys).","author":"Ching-Hsiang Hsu Terry","year":"2017","unstructured":"Terry Ching-Hsiang Hsu , Helge Br\u00fcgner , Indrajit Roy , Kimberly Keeton , and Patrick Eugster . 2017 . NVthreads: Practical Persistence for Multi-Threaded Applications . In Proceedings of the Twelfth European Conference on Computer Systems (EuroSys). Terry Ching-Hsiang Hsu, Helge Br\u00fcgner, Indrajit Roy, Kimberly Keeton, and Patrick Eugster. 2017. NVthreads: Practical Persistence for Multi-Threaded Applications. In Proceedings of the Twelfth European Conference on Computer Systems (EuroSys)."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the VLDB Endowment ( 2014 ).","author":"Huang Jian","unstructured":"Jian Huang , Karsten Schwan , and Moinuddin K. Qureshi . 2014. NVRAM-Aware Logging in Transaction Systems . Proceedings of the VLDB Endowment ( 2014 ). Jian Huang, Karsten Schwan, and Moinuddin K. Qureshi. 2014. NVRAM-Aware Logging in Transaction Systems. Proceedings of the VLDB Endowment ( 2014 )."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872410"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446698"},{"key":"e_1_3_2_1_25_1","volume-title":"2017 IEEE International Symposium on High Performance Computer Architecture (HPCA).","author":"Joshi A.","unstructured":"A. Joshi , V. Nagarajan , S. Viglas , and M. Cintra . 2017. ATOM: Atomic Durability in Non-volatile Memory through Hardware Logging . In 2017 IEEE International Symposium on High Performance Computer Architecture (HPCA). A. Joshi, V. Nagarajan, S. Viglas, and M. Cintra. 2017. ATOM: Atomic Durability in Non-volatile Memory through Hardware Logging. In 2017 IEEE International Symposium on High Performance Computer Architecture (HPCA)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359631"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 17th USENIX Conference on File and Storage Technologies (FAST).","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 Proceedings of the 17th USENIX Conference on File and Storage Technologies (FAST). 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 Proceedings of the 17th USENIX Conference on File and Storage Technologies (FAST)."},{"key":"e_1_3_2_1_28_1","volume-title":"Delegated Persist Ordering. In The 49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO).","author":"Kolli Aasheesh","unstructured":"Aasheesh Kolli , Jef Rosen , Stephan Diestelhorst , Ali Saidi , Steven Pelley , Sihang Liu , Peter M. Chen , and Thomas F. Wenisch . 2016 . Delegated Persist Ordering. In The 49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO). Aasheesh Kolli, Jef Rosen, Stephan Diestelhorst, Ali Saidi, Steven Pelley, Sihang Liu, Peter M. Chen, and Thomas F. Wenisch. 2016. Delegated Persist Ordering. In The 49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO)."},{"key":"e_1_3_2_1_29_1","volume-title":"49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO).","author":"Kolli Aasheesh","unstructured":"Aasheesh Kolli , Jef Rosen , Stephan Diestelhorst , Ali G. Saidi , Steven Pelley , Sihang Liu , Peter M. Chen , and Thomas F. Wenisch . 2016. Delegated persist ordering . In 49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO). Aasheesh Kolli, Jef Rosen, Stephan Diestelhorst, Ali G. Saidi, Steven Pelley, Sihang Liu, Peter M. Chen, and Thomas F. Wenisch. 2016. Delegated persist ordering. In 49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO)."},{"key":"e_1_3_2_1_30_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).","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). 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)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132770"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 26th Symposium on Operating Systems Principles (SOSP).","author":"Kwon Youngjin","unstructured":"Youngjin Kwon , Henrique Fingler , Tyler Hunt , Simon Peter , Emmett Witchel , and Thomas E. Anderson . 2017. Strata: A Cross Media File System . In Proceedings of the 26th Symposium on Operating Systems Principles (SOSP). Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, and Thomas E. Anderson. 2017. Strata: A Cross Media File System. In Proceedings of the 26th Symposium on Operating Systems Principles (SOSP)."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 2014 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC).","author":"Lantz Philip","year":"2014","unstructured":"Philip Lantz , Dulloor Subramanya Rao , Sanjay Kumar , Rajesh Sankaran , and Jef Jackson . 2014 . Yat: A Validation Framework for Persistent Memory Software . In Proceedings of the 2014 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC). Philip Lantz, Dulloor Subramanya Rao, Sanjay Kumar, Rajesh Sankaran, and Jef Jackson. 2014. Yat: A Validation Framework for Persistent Memory Software. In Proceedings of the 2014 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359635"},{"key":"e_1_3_2_1_35_1","unstructured":"Lenovo. 2018. Memcached-pmem. https:\/\/github.com\/lenovo\/memcachedpmem.  Lenovo. 2018. Memcached-pmem. https:\/\/github.com\/lenovo\/memcachedpmem."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037714"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00029"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378452"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304015"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.14778\/3389133.3389134"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037730"},{"key":"e_1_3_2_1_42_1","volume-title":"Write-Optimized Dynamic Hashing for Persistent Memory. In 17th USENIX Conference on File and Storage Technologies (FAST).","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). 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)."},{"key":"e_1_3_2_1_43_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI).","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). 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)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2018.00037"},{"key":"e_1_3_2_1_45_1","volume-title":"ACM\/IEEE 41st International Symposium on Computer Architecture (ISCA).","author":"Pelley Steven","unstructured":"Steven Pelley , Peter M. Chen , and Thomas F. Wenisch . 2014. Memory persistency . In ACM\/IEEE 41st International Symposium on Computer Architecture (ISCA). Steven Pelley, Peter M. Chen, and Thomas F. Wenisch. 2014. Memory persistency. In ACM\/IEEE 41st International Symposium on Computer Architecture (ISCA)."},{"key":"e_1_3_2_1_46_1","unstructured":"PMDebugger. 2020. https:\/\/github.com\/PASAUCMerced\/PMDebugger.  PMDebugger. 2020. https:\/\/github.com\/PASAUCMerced\/PMDebugger."},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the Ninth European Conference on Computer Systems (EuroSys).","author":"Rao Dulloor Subramanya","year":"2014","unstructured":"Dulloor Subramanya Rao , Sanjay Kumar , Anil S. Keshavamurthy , Philip Lantz , Dheeraj Reddy , Rajesh Sankaran , and Jef Jackson . 2014 . System software for persistent memory . In Proceedings of the Ninth European Conference on Computer Systems (EuroSys). Dulloor Subramanya Rao, Sanjay Kumar, Anil S. Keshavamurthy, Philip Lantz, Dheeraj Reddy, Rajesh Sankaran, and Jef Jackson. 2014. System software for persistent memory. In Proceedings of the Ninth European Conference on Computer Systems (EuroSys)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2830772.2830802"},{"key":"e_1_3_2_1_49_1","unstructured":"Valgrind. 2020. An instrumentation framework for building dynamic analysis tools. https:\/\/valgrind.org.  Valgrind. 2020. An instrumentation framework for building dynamic analysis tools. https:\/\/valgrind.org."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196897"},{"key":"e_1_3_2_1_51_1","volume-title":"Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).","author":"Volos Haris","unstructured":"Haris Volos , Andres Jaan Tack , and Michael M. Swift . 2011. Mnemosyne: lightweight persistent memory . In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Haris Volos, Andres Jaan Tack, and Michael M. Swift. 2011. Mnemosyne: lightweight persistent memory. In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967360.2967374"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386000"},{"key":"e_1_3_2_1_54_1","volume-title":"Proceedings of the 2017 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC).","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). 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)."},{"key":"e_1_3_2_1_55_1","volume-title":"NOVA: A Log-structured File System for Hybrid Volatile\/Non-volatile Main Memories. In 14th USENIX Conference on File and Storage Technologies (FAST).","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 14th USENIX Conference on File and Storage Technologies (FAST). Jian Xu and Steven Swanson. 2016. NOVA: A Log-structured File System for Hybrid Volatile\/Non-volatile Main Memories. In 14th USENIX Conference on File and Storage Technologies (FAST)."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132761"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694370"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.5555\/3291168.3291202"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Yoav Zuriel Michal Friedman Gali Shefi Nachshon Cohen and Erez Petrank. 2019. Eficient Lock-Free Durable Sets. ( 2019 ).  Yoav Zuriel Michal Friedman Gali Shefi Nachshon Cohen and Erez Petrank. 2019. Eficient Lock-Free Durable Sets. ( 2019 ).","DOI":"10.1145\/3360554"}],"event":{"name":"ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Virtual USA","acronym":"ASPLOS '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3445814.3446744","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3445814.3446744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:14Z","timestamp":1750195694000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3445814.3446744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,17]]},"references-count":59,"alternative-id":["10.1145\/3445814.3446744","10.1145\/3445814"],"URL":"https:\/\/doi.org\/10.1145\/3445814.3446744","relation":{},"subject":[],"published":{"date-parts":[[2021,4,17]]},"assertion":[{"value":"2021-04-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}