{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:30:58Z","timestamp":1783096258857,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":70,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T00:00:00Z","timestamp":1645488000000},"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":[[2022,2,28]]},"DOI":"10.1145\/3503222.3507755","type":"proceedings-article","created":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T20:49:01Z","timestamp":1645562941000},"page":"873-887","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Efficiently detecting concurrency bugs in persistent memory programs"],"prefix":"10.1145","author":[{"given":"Zhangyu","family":"Chen","sequence":"first","affiliation":[{"name":"Huazhong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Hua","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yongle","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luochangqi","family":"Ding","sequence":"additional","affiliation":[{"name":"Huazhong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,2,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00019"},{"key":"e_1_3_2_1_2_1","volume-title":"Arpaci-Dusseau","author":"Arpaci-Dusseau Remzi H.","year":"2018","unstructured":"Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau. 2018. Operating Systems: Three Easy Pieces (1.00 ed.). Arpaci-Dusseau Books."},{"key":"e_1_3_2_1_3_1","volume-title":"Lock-free Concurrent Level Hashing for Persistent Memory. In 2020 USENIX Annual Technical Conference (USENIX ATC \u201920)","author":"Chen Zhangyu","year":"2020","unstructured":"Zhangyu Chen, Yu Hua, Bo Ding, and Pengfei Zuo. 2020. Lock-free Concurrent Level Hashing for Persistent Memory. In 2020 USENIX Annual Technical Conference (USENIX ATC \u201920). https:\/\/www.usenix.org\/conference\/atc20\/presentation\/chen"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"Zhangyu Chen Yu Hua Yongle Zhang and Luochangqi Ding. 2022. Replication Package for Article: Efficiently Detecting Concurrency Bugs in Persistent Memory Programs. https:\/\/doi.org\/10.5281\/zenodo.5790730 10.5281\/zenodo.5790730","DOI":"10.5281\/zenodo.5790730"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447786.3456252"},{"key":"e_1_3_2_1_6_1","volume-title":"Libnvmmio: Reconstructing Software IO Path with Failure-Atomic Memory-Mapped Interface. In 2020 USENIX Annual Technical Conference (USENIX ATC \u201920)","author":"Choi Jungsik","year":"2020","unstructured":"Jungsik Choi, Jaewan Hong, Youngjin Kwon, and Hwansoo Han. 2020. Libnvmmio: Reconstructing Software IO Path with Failure-Atomic Memory-Mapped Interface. In 2020 USENIX Annual Technical Conference (USENIX ATC \u201920). https:\/\/www.usenix.org\/conference\/atc20\/presentation\/choi"},{"key":"e_1_3_2_1_7_1","unstructured":"Intel Corporation. 2018. Discover Persistent Memory Programming Errors with Pmemcheck. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/articles\/discover-persistent-memory-programming-errors-with-pmemcheck.html"},{"key":"e_1_3_2_1_8_1","unstructured":"Intel Corporation. 2018. How to Detect Persistent Memory Programming Errors Using Intel Inspector - Persistence Inspector.. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/articles\/detect-persistent-memory-programming-errors-with-intel-inspector-persistence-inspector.html"},{"key":"e_1_3_2_1_9_1","unstructured":"Intel Corporation. 2019. Intel Optane DC persistent memory. https:\/\/www.intel.com\/content\/www\/us\/en\/products\/memory-storage\/optane-dc-persistent-memory.html"},{"key":"e_1_3_2_1_10_1","unstructured":"Intel Corporation. 2020. Intel Architecture Instruction Set Extensions Programming Reference. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/download\/intel-architecture-instruction-set-extensions-programming-reference.html"},{"key":"e_1_3_2_1_11_1","unstructured":"Intel Corporation. 2020. Persistent Memory Development Kit. http:\/\/pmem.io\/"},{"key":"e_1_3_2_1_12_1","unstructured":"Intel Corporation. 2021. The libvmmalloc man page. https:\/\/pmem.io\/pmdk\/manpages\/linux\/v1.3\/libvmmalloc.3.html"},{"key":"e_1_3_2_1_13_1","unstructured":"Lenovo Corporation. 2018. Memcached-pmem. https:\/\/github.com\/lenovo\/memcached-pmem"},{"key":"e_1_3_2_1_14_1","volume-title":"Log-Free Concurrent Data Structures. In 2018 USENIX Annual Technical Conference (USENIX ATC \u201918)","author":"David Tudor","year":"2018","unstructured":"Tudor David, Aleksandar Dragojevic, Rachid Guerraoui, and Igor Zablotchi. 2018. Log-Free Concurrent Data Structures. In 2018 USENIX Annual Technical Conference (USENIX ATC \u201918). Boston, MA, USA. https:\/\/www.usenix.org\/conference\/atc18\/presentation\/david"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446744"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_18_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation, (OSDI \u201914)","author":"Fonseca Pedro","unstructured":"Pedro Fonseca, Rodrigo Rodrigues, and Bj\u00f6rn B. Brandenburg. 2014. SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. In 11th USENIX Symposium on Operating Systems Design and Implementation, (OSDI \u201914). Broomfield, CO, USA. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/fonseca"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483556"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446735"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2731776"},{"key":"e_1_3_2_1_22_1","volume-title":"16th USENIX Conference on File and Storage Technologies (FAST \u201918)","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 \u201918). Oakland, CA, USA. https:\/\/www.usenix.org\/conference\/fast18\/presentation\/hwang"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53426-7_23"},{"key":"e_1_3_2_1_24_1","volume-title":"Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson.","author":"Izraelevitz Joseph","year":"2019","unstructured":"Joseph Izraelevitz, Jian Yang, Lu Zhang, Juno Kim, Xiao Liu, Amirsaman Memaripour, Yun Joon Soh, Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson. 2019. Basic Performance Measurements of the Intel Optane DC Persistent Memory Module. CoRR, abs\/1903.05714 (2019), arxiv:1903.05714. arxiv:1903.05714"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359631"},{"key":"e_1_3_2_1_29_1","volume-title":"Yat: A Validation Framework for Persistent Memory Software. In 2014 USENIX Annual Technical Conference, (USENIX ATC \u201914)","author":"Lantz Philip","year":"2014","unstructured":"Philip Lantz, Dulloor Subramanya Rao, Sanjay Kumar, Rajesh Sankaran, and Jeff Jackson. 2014. Yat: A Validation Framework for Persistent Memory Software. In 2014 USENIX Annual Technical Conference, (USENIX ATC \u201914). Philadelphia, PA, USA. https:\/\/www.usenix.org\/conference\/atc14\/technical-sessions\/presentation\/lantz"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_31_1","unstructured":"Se Kwon Lee. 2020. The RECIPE Project. https:\/\/github.com\/utsaslab\/RECIPE\/tree\/70bf21c6240327f4f8fac343aba708f194fe19f4"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359635"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359638"},{"key":"e_1_3_2_1_34_1","unstructured":"ARM Limited. 2020. Arm Architecture Reference Manual Armv8 for Armv8-A architecture profile. https:\/\/developer.arm.com\/documentation\/ddi0487\/ga"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446691"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378452"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304015"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_1_40_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT \u201920)","author":"Maier Dominik","year":"2020","unstructured":"Dominik Maier, Heiko Ei\u00df feldt, Andrea Fioraldi, and Marc Heuse. 2020. AFL++ : Combining Incremental Steps of Fuzzing Research. In 14th USENIX Workshop on Offensive Technologies (WOOT \u201920). https:\/\/www.usenix.org\/conference\/woot20\/presentation\/fioraldi"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2946563"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_2_1_43_1","volume-title":"Write-Optimized Dynamic Hashing for Persistent Memory. In 17th USENIX Conference on File and Storage Technologies (FAST \u201919)","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 \u201919). Boston, MA, USA. https:\/\/www.usenix.org\/conference\/fast19\/presentation\/nam"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446694"},{"key":"e_1_3_2_1_45_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201920)","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 \u201920). isbn:978-1-939133-19-9 https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/neal"},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium (NDSS \u201905)","author":"Newsome James","year":"2005","unstructured":"James Newsome and Dawn Xiaodong Song. 2005. Dynamic Taint Analysis for Automatic Detection, Analysis, and SignatureGeneration of Exploits on Commodity Software. In Proceedings of the Network and Distributed System Security Symposium (NDSS \u201905). San Diego, California, USA. https:\/\/www.ndss-symposium.org\/ndss2005\/dynamic-taint-analysis-automatic-detection-analysis-and-signaturegeneration-exploits-commodity\/"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592814"},{"key":"e_1_3_2_1_49_1","unstructured":"Michael Rash. 2018. AFL-COV. https:\/\/github.com\/mrash\/afl-cov"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-4932-1_2"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-4932-1_14"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-4932-1_16"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869474"},{"key":"e_1_3_2_1_56_1","volume-title":"Sayed Muhammed Sajeev","author":"Spuler David A.","year":"1994","unstructured":"David A. Spuler and A. Sayed Muhammed Sajeev. 1994. Compiler Detection of Function Call Side Effects. Informatica (Slovenia), 18, 2 (1994)."},{"key":"e_1_3_2_1_57_1","unstructured":"PaX Team. 2003. PaX Address Space Layout Randomization (ASLR). https:\/\/pax.grsecurity.net\/docs\/aslr.txt"},{"key":"e_1_3_2_1_58_1","unstructured":"The Clang Team. 2020. DataFlowSanitizer. https:\/\/clang.llvm.org\/docs\/DataFlowSanitizer.html"},{"key":"e_1_3_2_1_59_1","volume-title":"Be Sensitive and Collaborative: Analyzing Impact of Coverage Metrics in Greybox Fuzzing. In 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID \u201919)","author":"Wang Jinghan","year":"2019","unstructured":"Jinghan Wang, Yue Duan, Wei Song, Heng Yin, and Chengyu Song. 2019. Be Sensitive and Collaborative: Analyzing Impact of Coverage Metrics in Greybox Fuzzing. In 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID \u201919). Chaoyang District, Beijing, China. https:\/\/www.usenix.org\/conference\/raid2019\/presentation\/wang"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00078"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00035"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446730"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.5555\/3386691.3386708"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555796"},{"key":"e_1_3_2_1_65_1","unstructured":"Michal Zalewski. 2017. American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635885"},{"key":"e_1_3_2_1_67_1","volume-title":"Persistent State Machines for Recoverable In-memory Storage Systems with NVRam. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201920)","author":"Zhang Wen","year":"2020","unstructured":"Wen Zhang, Scott Shenker, and Irene Zhang. 2020. Persistent State Machines for Recoverable In-memory Storage Systems with NVRam. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201920). https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/zhang-wen"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540744"},{"key":"e_1_3_2_1_69_1","unstructured":"Pengfei Zuo. 2018. The Level Hashing Project. https:\/\/github.com\/Pfzuo\/Level-Hashing"},{"key":"e_1_3_2_1_70_1","volume-title":"Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201918)","author":"Zuo Pengfei","year":"2018","unstructured":"Pengfei Zuo, Yu Hua, and Jie Wu. 2018. Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201918). Carlsbad, CA, USA. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/zuo"}],"event":{"name":"ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Lausanne Switzerland","acronym":"ASPLOS '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503222.3507755","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503222.3507755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:40Z","timestamp":1750191100000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503222.3507755"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,22]]},"references-count":70,"alternative-id":["10.1145\/3503222.3507755","10.1145\/3503222"],"URL":"https:\/\/doi.org\/10.1145\/3503222.3507755","relation":{},"subject":[],"published":{"date-parts":[[2022,2,22]]},"assertion":[{"value":"2022-02-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}