{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:51:44Z","timestamp":1773193904889,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T00:00:00Z","timestamp":1583712000000},"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":[[2020,3,9]]},"DOI":"10.1145\/3373376.3378452","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T22:37:01Z","timestamp":1584139021000},"page":"1187-1202","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":52,"title":["Cross-Failure Bug Detection in Persistent Memory Programs"],"prefix":"10.1145","author":[{"given":"Sihang","family":"Liu","sequence":"first","affiliation":[{"name":"University of Virginia, Charlottesville, VA, USA"}]},{"given":"Korakit","family":"Seemakhupt","sequence":"additional","affiliation":[{"name":"University of Virginia, Charlottesville, VA, USA"}]},{"given":"Yizhou","family":"Wei","sequence":"additional","affiliation":[{"name":"University of Virginia, Charlottesville, VA, USA"}]},{"given":"Thomas","family":"Wenisch","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]},{"given":"Aasheesh","family":"Kolli","sequence":"additional","affiliation":[{"name":"Pennsylvania State University & VMware Research, State College, PA, USA"}]},{"given":"Samira","family":"Khan","sequence":"additional","affiliation":[{"name":"University of Virginia, Charlottesville, VA, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.242161"},{"key":"e_1_3_2_1_2_1","volume-title":"ISCA","author":"Adve Sarita V.","year":"1991","unstructured":"Sarita V. Adve , Mark D. Hill , Barton P. Miller , and Robert H. B. Netzer . Detecting data races on weak memory systems . In ISCA , 1991 . Sarita V. Adve, Mark D. Hill, Barton P. Miller, and Robert H. B. Netzer. Detecting data races on weak memory systems. In ISCA, 1991."},{"key":"e_1_3_2_1_3_1","volume-title":"ARM architecture reference manual ARMv8, for ARMv8-A architecture profile. https:\/\/static.docs.arm.com\/ddi0487\/da\/DDI0487D_a_armv8_arm.pdf","author":"ARM.","year":"2018","unstructured":"ARM. ARM architecture reference manual ARMv8, for ARMv8-A architecture profile. https:\/\/static.docs.arm.com\/ddi0487\/da\/DDI0487D_a_armv8_arm.pdf , 2018 . ARM. ARM architecture reference manual ARMv8, for ARMv8-A architecture profile. https:\/\/static.docs.arm.com\/ddi0487\/da\/DDI0487D_a_armv8_arm.pdf, 2018."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3054780"},{"key":"e_1_3_2_1_5_1","volume-title":"OOPSLA","author":"Chakrabarti Dhruva R.","year":"2014","unstructured":"Dhruva R. Chakrabarti , Hans- J. Boehm , and Kumud Bhandari . Atlas : Leveraging locks for non-volatile memory consistency . In OOPSLA , 2014 . Dhruva R. Chakrabarti, Hans-J. Boehm, and Kumud Bhandari. Atlas: Leveraging locks for non-volatile memory consistency. In OOPSLA, 2014."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735479.2735483"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_2_1_8_1","unstructured":"Shimin Chen and Qin Jin. Persistent B  Shimin Chen and Qin Jin. Persistent B"},{"key":"e_1_3_2_1_9_1","volume-title":"VLDB","author":"Chen Shimin","year":"2015","unstructured":"Shimin Chen and Qin Jin . Persistent B in non-volatile main memory . In VLDB , 2015 . -Trees in non-volatile main memory. In VLDB, 2015."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/NVMSA.2017.8064478"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522724"},{"key":"e_1_3_2_1_12_1","volume-title":"ASPLOS","author":"Coburn Joel","year":"2011","unstructured":"Joel Coburn , Adrian M. Caulfield , Ameen Akel , Laura M. Grupp , Rajesh K. Gupta , Ranjit Jhala , and Steven Swanson . NV-Heaps : Making persistent objects fast and safe with next-generation, non-volatile memories . In ASPLOS , 2011 . Joel Coburn, Adrian M. Caulfield, Ameen Akel, Laura M. Grupp, Rajesh K. Gupta, Ranjit Jhala, and Steven Swanson. NV-Heaps: Making persistent objects fast and safe with next-generation, non-volatile memories. In ASPLOS, 2011."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276523"},{"key":"e_1_3_2_1_14_1","volume-title":"SOSP","author":"Condit Jeremy","year":"2009","unstructured":"Jeremy Condit , Edmund B. Nightingale , Christopher Frost , Engin Ipek , Benjamin Lee , Doug Burger , and Derrick Coetzee . Better I\/O through byte-addressable , persistent memory . In SOSP , 2009 . Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin Lee, Doug Burger, and Derrick Coetzee. Better I\/O through byte-addressable, persistent memory. In SOSP, 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592814"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2385603.2385608"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSST.2015.7208276"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092255.3092270"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192367"},{"key":"e_1_3_2_1_20_1","volume-title":"EuroSys","author":"Ching-Hsiang Hsu Terry","year":"2017","unstructured":"Terry Ching-Hsiang Hsu , Helge Br\u00fcgner , Indrajit Roy , Kimberly Keeton , and Patrick Eugster . NVthreads : Practical persistence for multi-threaded applications . In EuroSys , 2017 . Terry Ching-Hsiang Hsu, Helge Br\u00fcgner, Indrajit Roy, Kimberly Keeton, and Patrick Eugster. NVthreads: Practical persistence for multi-threaded applications. In EuroSys, 2017."},{"key":"e_1_3_2_1_21_1","volume-title":"ATC","author":"Hu Qingda","year":"2017","unstructured":"Qingda Hu , Jinglei Ren , Anirudh Badam , Jiwu Shu , and Thomas Moscibroda . Log-structured non-volatile main memory . In ATC , 2017 . Qingda Hu, Jinglei Ren, Anirudh Badam, Jiwu Shu, and Thomas Moscibroda. Log-structured non-volatile main memory. In ATC, 2017."},{"key":"e_1_3_2_1_22_1","unstructured":"Intel. Intel Optane DC persistent memory. https:\/\/www.intel.com\/content\/www\/us\/en\/architecture-and-technology\/optane-dc-persistent-memory.html.  Intel. Intel Optane DC persistent memory. https:\/\/www.intel.com\/content\/www\/us\/en\/architecture-and-technology\/optane-dc-persistent-memory.html."},{"key":"e_1_3_2_1_23_1","unstructured":"Intel. An introduction to pmemcheck. http:\/\/pmem.io\/2015\/07\/17\/pmemcheck-basic.html.  Intel. An introduction to pmemcheck. http:\/\/pmem.io\/2015\/07\/17\/pmemcheck-basic.html."},{"key":"e_1_3_2_1_24_1","unstructured":"Intel. Persistent memory programming. https:\/\/pmem.io\/.  Intel. Persistent memory programming. https:\/\/pmem.io\/."},{"key":"e_1_3_2_1_25_1","unstructured":"Intel. PMDK man page: libpmem. http:\/\/pmem.io\/pmdk\/manpages\/linux\/v1.6\/libpmem\/libpmem.7.html.  Intel. PMDK man page: libpmem. http:\/\/pmem.io\/pmdk\/manpages\/linux\/v1.6\/libpmem\/libpmem.7.html."},{"key":"e_1_3_2_1_26_1","volume-title":"https:\/\/github.com\/pmem\/redis\/tree\/3.2-nvml","year":"2018","unstructured":"Intel. Redis. https:\/\/github.com\/pmem\/redis\/tree\/3.2-nvml , 2018 . Intel. Redis. https:\/\/github.com\/pmem\/redis\/tree\/3.2-nvml, 2018."},{"key":"e_1_3_2_1_27_1","volume-title":"Intel 64 and IA-32 architectures software developer's manual. https:\/\/software.intel.com\/sites\/default\/files\/managed\/39\/c5\/325462-sdm-vol-1--2abcd-3abcd.pdf","year":"2019","unstructured":"Intel. Intel 64 and IA-32 architectures software developer's manual. https:\/\/software.intel.com\/sites\/default\/files\/managed\/39\/c5\/325462-sdm-vol-1--2abcd-3abcd.pdf , 2019 . Intel. Intel 64 and IA-32 architectures software developer's manual. https:\/\/software.intel.com\/sites\/default\/files\/managed\/39\/c5\/325462-sdm-vol-1--2abcd-3abcd.pdf, 2019."},{"key":"e_1_3_2_1_28_1","volume-title":"Quick start guide: Configure Intel Optane? DC persistent memory modules on Linux. https:\/\/software.intel.com\/en-us\/articles\/quick-start-guide-configure-intel-optane-dc-persistent-memory-on-linux","year":"2019","unstructured":"Intel. Quick start guide: Configure Intel Optane? DC persistent memory modules on Linux. https:\/\/software.intel.com\/en-us\/articles\/quick-start-guide-configure-intel-optane-dc-persistent-memory-on-linux , 2019 . Intel. Quick start guide: Configure Intel Optane? DC persistent memory modules on Linux. https:\/\/software.intel.com\/en-us\/articles\/quick-start-guide-configure-intel-optane-dc-persistent-memory-on-linux, 2019."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872410"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2017.50"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2013.69"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872381"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/3195638.3195709"},{"key":"e_1_3_2_1_34_1","volume-title":"FAST","author":"Kumar Harendra","year":"2017","unstructured":"Harendra Kumar , Yuvraj Patel , Ram Kesavan , and Sumith Makam . High-performance metadata integrity protection in the WAFL copy-on-write file system . In FAST , 2017 . Harendra Kumar, Yuvraj Patel, Ram Kesavan, and Sumith Makam. High-performance metadata integrity protection in the WAFL copy-on-write file system. In FAST, 2017."},{"key":"e_1_3_2_1_35_1","volume-title":"SOSP","author":"Kwon Youngjin","year":"2017","unstructured":"Youngjin Kwon , Henrique Fingler , Tyler Hunt , Simon Peter , Emmett Witchel , and Thomas Anderson . Strata : A cross media file system . In SOSP , 2017 . Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, and Thomas Anderson. Strata: A cross media file system. In SOSP, 2017."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_37_1","volume-title":"ATC","author":"Lantz Philip","year":"2014","unstructured":"Philip Lantz , Dulloor Subramanya Rao , Sanjay Kumar , Rajesh Sankaran , and Jeff Jackson . Yat : A validation framework for persistent memory software . In ATC , 2014 . Philip Lantz, Dulloor Subramanya Rao, Sanjay Kumar, Rajesh Sankaran, and Jeff Jackson. Yat: A validation framework for persistent memory software. In ATC, 2014."},{"key":"e_1_3_2_1_38_1","volume-title":"https:\/\/github.com\/lenovo\/memcached-pmem","year":"2018","unstructured":"Lenovo. Memcached-pmem. https:\/\/github.com\/lenovo\/memcached-pmem , 2018 . Lenovo. Memcached-pmem. https:\/\/github.com\/lenovo\/memcached-pmem, 2018."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037714"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00029"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2018.00035"},{"key":"e_1_3_2_1_42_1","volume-title":"ISCA","author":"Liu Sihang","year":"2019","unstructured":"Sihang Liu , Korakit Seemakhupt , Gennady Pekhimenko , Aasheesh Kolli , and Samira Khan . Janus : Optimizing memory and storage support for non-volatile memory systems . In ISCA , 2019 . Sihang Liu, Korakit Seemakhupt, Gennady Pekhimenko, Aasheesh Kolli, and Samira Khan. Janus: Optimizing memory and storage support for non-volatile memory systems. In ISCA, 2019."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304015"},{"key":"e_1_3_2_1_44_1","volume-title":"SOSP","author":"David","year":"1997","unstructured":"David E. Lowell and Peter M. Chen. Free transactions with rio vista . In SOSP , 1997 . David E. Lowell and Peter M. Chen. Free transactions with rio vista. In SOSP, 1997."},{"key":"e_1_3_2_1_45_1","volume-title":"ATC","author":"Lu Youyou","year":"2017","unstructured":"Youyou Lu , Jiwu Shu , Youmin Chen , and Tao Li. Octopus : An RDMA-enabled distributed persistent memory file system . In ATC , 2017 . Youyou Lu, Jiwu Shu, Youmin Chen, and Tao Li. Octopus: An RDMA-enabled distributed persistent memory file system. In ATC, 2017."},{"key":"e_1_3_2_1_46_1","volume-title":"SNAPL","author":"Lucia Brandon","year":"2017","unstructured":"Brandon Lucia , Vignesh Balaji , Alexei Colin , Kiwan Maeng , and Emily Ruppel . Intermittent Computing : Challenges and Opportunities . In SNAPL , 2017 . Brandon Lucia, Vignesh Balaji, Alexei Colin, Kiwan Maeng, and Emily Ruppel. Intermittent Computing: Challenges and Opportunities. In SNAPL, 2017."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737978"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2014.6816685"},{"key":"e_1_3_2_1_50_1","volume-title":"HotStorage","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 HotStorage , 2017 . Virendra J. Marathe, Margo Seltzer, Steve Byan, and Tim Harris. Persistent Memcached: Bringing legacy code to byte-addressable persistent memory. In HotStorage, 2017."},{"key":"e_1_3_2_1_51_1","volume-title":"HotStorage","author":"Martinez Ashlie","year":"2017","unstructured":"Ashlie Martinez and Vijay Chidambaram . CrashMonkey : A framework to systematically test file-system crash consistency . In HotStorage , 2017 . Ashlie Martinez and Vijay Chidambaram. CrashMonkey: A framework to systematically test file-system crash consistency. In HotStorage, 2017."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/128765.128770"},{"key":"e_1_3_2_1_53_1","volume-title":"OSDI","author":"Mohan Jayashree","year":"2018","unstructured":"Jayashree Mohan , Ashlie Martinez , Soujanya Ponnapalli , Pandian Raju , and Vijay Chidambaram . Finding crash-consistency bugs with bounded black-box crash testing . In OSDI , 2018 . Jayashree Mohan, Ashlie Martinez, Soujanya Ponnapalli, Pandian Raju, and Vijay Chidambaram. Finding crash-consistency bugs with bounded black-box crash testing. In OSDI, 2018."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037730"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00048"},{"key":"e_1_3_2_1_57_1","volume-title":"HotStorage","author":"Ni Yuanjiang","year":"2018","unstructured":"Yuanjiang Ni , Jishen Zhao , Daniel Bittman , and Ethan Miller . Reducing NVM writes with optimized shadow paging . In HotStorage , 2018 . Yuanjiang Ni, Jishen Zhao, Daniel Bittman, and Ethan Miller. Reducing NVM writes with optimized shadow paging. In HotStorage, 2018."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043560"},{"key":"e_1_3_2_1_59_1","unstructured":"Eli Pozniansky and Assaf Schuster. Efficient on-the-fly data race detection in multithreaded C  Eli Pozniansky and Assaf Schuster. Efficient on-the-fly data race detection in multithreaded C"},{"key":"e_1_3_2_1_60_1","volume-title":"PPoPP","year":"2003","unstructured":"programs. In PPoPP , 2003 . programs. In PPoPP, 2003."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095830"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2830772.2830802"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_65_1","volume-title":"OSDI","author":"Sigurbjarnarson Helgi","year":"2016","unstructured":"Helgi Sigurbjarnarson , James Bornholt , Emina Torlak , and Xi Wang . Push-button verification of file systems via crash refinement . In OSDI , 2016 . Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang. Push-button verification of file systems via crash refinement. In OSDI, 2016."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592810"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950379"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451120"},{"key":"e_1_3_2_1_69_1","volume-title":"ASPLOS","author":"Wu Michael","year":"1994","unstructured":"Michael Wu and Willy Zwaenepoel . eNVy : A non-volatile, main memory storage system . In ASPLOS , 1994 . Michael Wu and Willy Zwaenepoel. eNVy: A non-volatile, main memory storage system. In ASPLOS, 1994."},{"key":"e_1_3_2_1_70_1","volume-title":"SC","author":"Wu Xiaojian","year":"2011","unstructured":"Xiaojian Wu and A. L. Narasimha Reddy. SCMFS: A file system for storage class memory . In SC , 2011 . Xiaojian Wu and A. L. Narasimha Reddy. SCMFS: A file system for storage class memory. In SC, 2011."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967360.2967374"},{"key":"e_1_3_2_1_72_1","volume-title":"ATC","author":"Xia Fei","year":"2017","unstructured":"Fei Xia , Dejun Jiang , Jin Xiong , and Ninghui Sun . HiKV : A hybrid index key-value store for DRAM-NVM memory systems . In ATC , 2017 . Fei Xia, Dejun Jiang, Jin Xiong, and Ninghui Sun. HiKV: A hybrid index key-value store for DRAM-NVM memory systems. In ATC, 2017."},{"key":"e_1_3_2_1_73_1","volume-title":"FAST","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 FAST , 2016 . Jian Xu and Steven Swanson. NOVA: A log-structured file system for hybrid volatile\/non-volatile main memories. In FAST, 2016."},{"key":"e_1_3_2_1_74_1","volume-title":"SOSP","author":"Xu Jian","year":"2017","unstructured":"Jian Xu , Lu Zhang , Amirsaman Memaripour , Akshatha Gangadharaiah , Amit Borase , Tamires Brito Da Silva , Steven Swanson , and Andy Rudoff . Nova-Fortis : A fault-tolerant non-volatile main memory file system . In SOSP , 2017 . Jian Xu, Lu Zhang, Amirsaman Memaripour, Akshatha Gangadharaiah, Amit Borase, Tamires Brito Da Silva, Steven Swanson, and Andy Rudoff. Nova-Fortis: A fault-tolerant non-volatile main memory file system. In SOSP, 2017."},{"key":"e_1_3_2_1_75_1","volume-title":"FAST","author":"Yang Jun","year":"2015","unstructured":"Jun Yang , Qingsong Wei , Cheng Chen , Chundong Wang , Khai Leong Yong , and Bingsheng He. NV- Tree : Reducing consistency cost for NVM-based single level systems . In FAST , 2015 . Jun Yang, Qingsong Wei, Cheng Chen, Chundong Wang, Khai Leong Yong, and Bingsheng He. NV-Tree: Reducing consistency cost for NVM-based single level systems. In FAST, 2015."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00040"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2540708.2540744"}],"event":{"name":"ASPLOS '20: Architectural Support for Programming Languages and Operating Systems","location":"Lausanne Switzerland","acronym":"ASPLOS '20","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 Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378452","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:59Z","timestamp":1750199579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,9]]},"references-count":77,"alternative-id":["10.1145\/3373376.3378452","10.1145\/3373376"],"URL":"https:\/\/doi.org\/10.1145\/3373376.3378452","relation":{},"subject":[],"published":{"date-parts":[[2020,3,9]]},"assertion":[{"value":"2020-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}