{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:39:37Z","timestamp":1773193177833,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T00:00:00Z","timestamp":1490400000000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-SC-0012199"],"award-info":[{"award-number":["DE-SC-0012199"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,3,25]]},"DOI":"10.1145\/2872362.2872410","type":"proceedings-article","created":{"date-parts":[[2016,3,28]],"date-time":"2016-03-28T09:24:30Z","timestamp":1459157070000},"page":"427-442","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":92,"title":["Failure-Atomic Persistent Memory Updates via JUSTDO Logging"],"prefix":"10.1145","author":[{"given":"Joseph","family":"Izraelevitz","sequence":"first","affiliation":[{"name":"University of Rochester, Rochester, NY, USA"}]},{"given":"Terence","family":"Kelly","sequence":"additional","affiliation":[{"name":"Hewlett Packard Labs, Palo Alto, CA, USA"}]},{"given":"Aasheesh","family":"Kolli","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,3,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"29 No.","author":"Sarita","year":"1996","unstructured":"Sarita V. Adve and Kourosh Gharachorloo. \"Shared Memory Consistency Models: A Tutorial.\" In IEEE Computer, Vol. 29 No. 12, December 1996."},{"key":"e_1_3_2_1_2_1","volume-title":"Spring Joint Computer Conference","author":"Amdahl Gene M.","year":"1967","unstructured":"Gene M. Amdahl. \"Validity of the Single Processor Approach to Achieving Large Scale Computing Capabilities.\" In Spring Joint Computer Conference, 1967."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Dmytro Apalkov Alexey Khvalkovskiy Steven Watts Valdimir Nikitin Xueti Tang Daniel Lottis Kiseok Moon Xiao Luo Eugene Chen Adrian Ong Alexander Driskill-Smith and Mohamad Krounbi. \"Spin-transfer Torque Magnetic Random Access Memory (STT-MRAM).\" In Journal on Emerging Technologies in Computing Systems (JETC)--Special issue on memory technologies 2013.","DOI":"10.1145\/2463585.2463589"},{"key":"e_1_3_2_1_4_1","volume-title":"International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Bershad Brian N.","year":"1992","unstructured":"Brian N. Bershad. \"Fast Mutual Exclusion for Uniprocessors.\" In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 1992."},{"key":"e_1_3_2_1_5_1","unstructured":"Kumud Bhandari Dhruva R. Chakrabarti and Hans-J. Boehm. \"Implications of CPU Caching on Byte-addressable Non-Volatile Memory Programming.\" Technical report HPL-2012--236 Hewlett-Packard 2012."},{"key":"e_1_3_2_1_6_1","unstructured":"Aviv Blattner Ram Dagan and Terence Kelly. \"Generic Crash-Resilient Storage for Indigo and Beyond.\" Technical report HPL-2013--75 Hewlett-Packard 2013. http:\/\/www.labs.hp.com\/techreports\/2013\/HPL-2013--75.pdf"},{"key":"e_1_3_2_1_7_1","volume-title":"Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.\" In Symposium on Operating Systems Design and Implementation (OSDI)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson Engler. \"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.\" In Symposium on Operating Systems Design and Implementation (OSDI), 2008."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_9_1","volume-title":"Leveraging Locks for Non-Volatile Memory Consistency.\" In International Conference on Object Oriented Programming Systems Languages and Applications (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 International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA), 2014."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Peter M. Chen Wee Teck Ng Subhachandra Chandra Christopher Aycock Gurushankar Rajamani and David E. Lowell. \"The Rio File Cache: Surviving Operating System Crashes.\" In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 1996.","DOI":"10.1145\/237090.237154"},{"key":"e_1_3_2_1_11_1","volume-title":"Biennial Conference on Innovative Data Systems Research (CIDR)","author":"Chen Shimin","year":"2011","unstructured":"Shimin Chen, Phillip B. Gibbons, and Suman Nath. \"Rethinking Database Algorithms for Phase Change Memory.\" In Biennial Conference on Innovative Data Systems Research (CIDR), 2011."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694367"},{"key":"e_1_3_2_1_13_1","volume-title":"Solid-State Drives.\" In Symposium on Operating Systems Principles (SOSP)","author":"Coburn Joel","year":"2013","unstructured":"Joel Coburn, Trevor Bunker, Meir Schwarz, Rajesh Gupta, and Steven Swanson. \"From ARIES to MARS: Transaction Support for Next-Generation, Solid-State Drives.\" In Symposium on Operating Systems Principles (SOSP), 2013."},{"key":"e_1_3_2_1_14_1","volume-title":"Non-volatile Memories.\" In International Conference on Architectural Support for Programming Languages and Operating Systems (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 International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2011."},{"key":"e_1_3_2_1_15_1","volume-title":"Symposium on Operating Systems Principles (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 Symposium on Operating Systems Principles (SOSP), 2009."},{"key":"e_1_3_2_1_16_1","unstructured":"Intel Corporation. \"Intel Architecture Instruction Set Extensions Programming Reference.\" No. 319433-023 October 2014."},{"key":"e_1_3_2_1_17_1","volume-title":"International Conference on Principles of Distributed Systems (OPODIS)","author":"Dechev Damian","year":"2006","unstructured":"Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup. \"Lock-free Dynamically Resizable Arrays.\" In International Conference on Principles of Distributed Systems (OPODIS), 2006."},{"key":"e_1_3_2_1_18_1","volume-title":"European Conference on Computer Systems (EuroSys)","author":"Dulloor Subramanya R.","year":"2014","unstructured":"Subramanya R. Dulloor, Sanjay Kumar, Anil Keshavamurthy, Philip Lantz, Dheeraj Reddy, Rajesh Sankaran, and Jeff Jackson. \"System Software for Persistent Memory.\" In European Conference on Computer Systems (EuroSys), 2014."},{"key":"e_1_3_2_1_19_1","volume-title":"Directed Automated Random Testing.\" In Conference on Programming Language Design and Implementation (PLDI)","author":"Godefroid Patrice","year":"2015","unstructured":"Patrice Godefroid, Nils Klarlund, and Koushik Sen. \"DART: Directed Automated Random Testing.\" In Conference on Programming Language Design and Implementation (PLDI), 2015."},{"key":"e_1_3_2_1_20_1","volume-title":"\"NVRAM-aware Logging in Transaction Systems.\" In Proceedings of the VLDB Endowment","author":"Huang Jian","year":"2014","unstructured":"Jian Huang, Karsten Schwan, and Moinuddin K. Qureshi. \"NVRAM-aware Logging in Transaction Systems.\" In Proceedings of the VLDB Endowment, 2014."},{"key":"e_1_3_2_1_21_1","volume-title":"International Symposium on Microarchitecture (MICRO)","author":"de Krujf Marc","year":"2011","unstructured":"Marc de Krujf and Karthikeyan Sankaralingam. \"Idempotent Processor Architecture.\" In International Symposium on Microarchitecture (MICRO), 2011."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Emre Kultursay Mahmut Kandemir Anand Sivasubramaniam and Onur Mutlu. \"Evaluating STT-RAM as an Energy-Efficient Main Memory Alternative.\" In International Symposium on Performance Analysis of Systems and Software (ISPASS) 2013.","DOI":"10.1109\/ISPASS.2013.6557176"},{"key":"e_1_3_2_1_23_1","volume-title":"International Symposium on Computer Architecture (ISCA)","author":"Lee Benjamin C.","year":"2009","unstructured":"Benjamin C. Lee, Engin Ipek, Onur Mutlu, and Doug Burger. \"Architecting Phase Change Memory As a Scalable DRAM Alternative.\" In International Symposium on Computer Architecture (ISCA), 2009."},{"key":"e_1_3_2_1_24_1","volume-title":"\"Unioning of the Buffer Cache and Journaling Layers with Non-volatile Memory.\" In Conference on File and Storage Technologies (FAST)","author":"Lee Eunji","year":"2013","unstructured":"Eunji Lee, Hyokyung Bahn, and Sam H. Noh. \"Unioning of the Buffer Cache and Journaling Layers with Non-volatile Memory.\" In Conference on File and Storage Technologies (FAST), 2013."},{"key":"e_1_3_2_1_25_1","volume-title":"A Holistic Approach to Fast In-Memory Key-value Storage.\" In Conference on Networked Systems Design and Implementation (NSDI)","author":"Lim Hyeontaek","year":"2014","unstructured":"Hyeontaek Lim, Dongsu Han, David G. Andersen, and Michael Kaminsky. \"MICA: A Holistic Approach to Fast In-Memory Key-value Storage.\" In Conference on Networked Systems Design and Implementation (NSDI), 2014."},{"key":"e_1_3_2_1_26_1","volume-title":"Conference on Programming Language Design and Implementation (PLDI)","author":"Lo Raymond","year":"1998","unstructured":"Raymond Lo, Fred Chow, Robert Kennedy, Shin-Ming Liu, and Peng Tu. \"Register Promotion by Sparse Partial Redundancy Elimination of Loads and Stores.\" In Conference on Programming Language Design and Implementation (PLDI), 1998."},{"key":"e_1_3_2_1_27_1","volume-title":"\"Free transactions with Rio Vista.\" In Symposium on Operating Systems Principles (SOSP)","author":"Lowell David E.","year":"1997","unstructured":"David E. Lowell and Peter M. Chen. \"Free transactions with Rio Vista.\" In Symposium on Operating Systems Principles (SOSP), 1997."},{"key":"e_1_3_2_1_28_1","volume-title":"International Conference on Computer Design (ICCD)","author":"Lu Youyou","year":"2014","unstructured":"Youyou Lu, Jiwu Shu, Long Sun, and Onur Mutlu. \"Loose-Ordering Consistency for Persistent Memory.\" In International Conference on Computer Design (ICCD), 2014."},{"key":"e_1_3_2_1_29_1","volume-title":"\"Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms.\" In Symposium on Principles of Distributed Computing (PODC)","author":"Michael Maged M.","year":"1996","unstructured":"Maged M. Michael and Michael L. Scott. \"Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms.\" In Symposium on Principles of Distributed Computing (PODC), 1996."},{"key":"e_1_3_2_1_30_1","unstructured":"Microsoft Developer Network. \"Alternative to using Transactional NTFS.\" http:\/\/msdn.microsoft.com\/en-us\/library\/hh802690.aspx Accessed 17 September 2014."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/128765.128770"},{"key":"e_1_3_2_1_32_1","volume-title":"International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Narayan Dushyanth","year":"2012","unstructured":"Dushyanth Narayan and Orion Hodson. \"Whole-System Persistence.\" In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2012."},{"key":"e_1_3_2_1_33_1","volume-title":"Morrey III. \"Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience.\" In International Conference on Extending Database Technology (EDBT)","author":"Nawab Faisal","year":"2015","unstructured":"Faisal Nawab, Dhruva R. Chakrabarti, Terence Kelly, and Charles B. Morrey III. \"Procrastination Beats Prevention: Timely Sufficient Persistence for Efficient Crash Resilience.\" In International Conference on Extending Database Technology (EDBT), 2015. http:\/\/openproceedings.org\/2015\/conf\/edbt\/paper-336.pdf"},{"key":"e_1_3_2_1_34_1","volume-title":"Morrey III \"Zero-Overhead NVM Crash Resilience.\" In Non-Volatile Memories Workshop (NVMW)","author":"Nawab Faisal","year":"2015","unstructured":"Faisal Nawab, Dhruva R. Chakrabarti. Terence Kelly, and Charles B. Morrey III \"Zero-Overhead NVM Crash Resilience.\" In Non-Volatile Memories Workshop (NVMW), 2015. http:\/\/nvmw.ucsd.edu\/2015\/assets\/abstracts\/41"},{"key":"e_1_3_2_1_35_1","volume-title":"USENIX Annual Technical Conference (FREENIX track)","author":"Olson Micheal A.","year":"1999","unstructured":"Micheal A. Olson, Keith Bostic, and Margo Seltzer. \"Berkeley DB.\" In USENIX Annual Technical Conference (FREENIX track), 1999."},{"key":"e_1_3_2_1_36_1","volume-title":"A Simple and Efficient Mechanism for Preserving the Integrity of Durable Data.\" In European Conference on Computer Systems (EuroSys)","author":"Park Stan","year":"2013","unstructured":"Stan Park, Terence Kelly, and Kai Shen. \"Failure-Atomictextttmsync(): A Simple and Efficient Mechanism for Preserving the Integrity of Durable Data.\" In European Conference on Computer Systems (EuroSys), 2013. http:\/\/doi.acm.org\/10.1145\/2465351.2465374"},{"key":"e_1_3_2_1_37_1","volume-title":"\"Memory Persistency.\" In International Symposium on Computer Architecture (ISCA)","author":"Pelley Steven","year":"2014","unstructured":"Steven Pelley, Peter M. Chen, and Thomas F. Wenisch. \"Memory Persistency.\" In International Symposium on Computer Architecture (ISCA), 2014. http:\/\/dl.acm.org\/citation.cfm?id=2665671.2665712"},{"key":"e_1_3_2_1_38_1","unstructured":"\"Persistent Memory Programming.\" http:\/\/pmem.io\/ Accessed 12 August 2015."},{"key":"e_1_3_2_1_39_1","volume-title":"Symposium on Operating Systems Principles (SOSP)","author":"Porter Donald E.","year":"2009","unstructured":"Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, and Emmett Witchel. \"Operating System Transactions.\" In Symposium on Operating Systems Principles (SOSP), 2009."},{"key":"e_1_3_2_1_40_1","volume-title":"\"Scalable High Performance Main Memory System Using Phase-change Memory Technology.\" In International Symposium on Computer Architecture (ISCA)","author":"Qureshi Moinuddin K.","year":"2009","unstructured":"Moinuddin K. Qureshi, Vijayalakshmi Srinivasan, and Jude A. Rivers. \"Scalable High Performance Main Memory System Using Phase-change Memory Technology.\" In International Symposium on Computer Architecture (ISCA), 2009."},{"key":"e_1_3_2_1_41_1","volume-title":"Non-Volatile Memories Workshop (NVMW)","author":"Rudoff Andy","year":"2015","unstructured":"Andy Rudoff. \"In a World with Persistent Memory.\" In Non-Volatile Memories Workshop (NVMW), 2015."},{"key":"e_1_3_2_1_42_1","volume-title":"Symposium on Operating Systems Principles (SOSP)","author":"Ryzhyk Leonid","year":"2009","unstructured":"Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, and Gernot Heiser. \"Automatic Device Driver Synthesis with Termite.\" In Symposium on Operating Systems Principles (SOSP), 2009."},{"key":"e_1_3_2_1_43_1","volume-title":"\"A New Algorithm for Scalar Register Promotion Based on SSA Form.\" In Conference on Programming Language Design and Implementation (PLDI)","author":"Sastry A.V.S.","year":"1998","unstructured":"A.V.S. Sastry and Roy D.C. Ju. \"A New Algorithm for Scalar Register Promotion Based on SSA Form.\" In Conference on Programming Language Design and Implementation (PLDI), 1998."},{"key":"e_1_3_2_1_44_1","volume-title":"Flexible Transactional Storage.\" In Symposium on Operating Systems Design and Implementation (SOSP)","author":"Sears Russell","year":"2006","unstructured":"Russell Sears and Eric Brewer. \"Stasis: Flexible Transactional Storage.\" In Symposium on Operating Systems Design and Implementation (SOSP), 2006."},{"key":"e_1_3_2_1_45_1","unstructured":"SQLite http:\/\/www.sqlite.org\/ Accessed 15 January 2016."},{"key":"e_1_3_2_1_46_1","unstructured":"\"Storage Networking Industry Association (SNIA) Non-Volatile Memory Programming Model.\" http:\/\/www.snia.org\/tech_activities\/standards\/curr_standards\/npm Accessed 10 January 2016."},{"key":"e_1_3_2_1_47_1","volume-title":"\"Enabling Transactional File Access via Lightweight Kernel Extensions.\" In Conference on File and Storage Technologies (FAST)","author":"Spillane Richard P.","year":"2009","unstructured":"Richard P. Spillane, Sachin Gaikwad, Manjunath Chinni, Erez Zadok, and Charles P. Wright. \"Enabling Transactional File Access via Lightweight Kernel Extensions.\" In Conference on File and Storage Technologies (FAST), 2009."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Dmitri B. Strukov Gregory S. Snider Duncan R. Stewart and R. Stanley Williams. \"The missing memristor found.\" In Nature Vol. 453 No. 7191 May 2008.","DOI":"10.1038\/nature06932"},{"key":"e_1_3_2_1_49_1","unstructured":"R. Kent Treiber. \"Systems Programming: Coping with Parallelism.\" Technical Report RJ 5118 IBM Almaden Research Center 1986."},{"key":"e_1_3_2_1_50_1","volume-title":"Stan Park, Sandya Mannarswamy, Terence Kelly, and Charles B. Morrey III. \"Failure-Atomic Updates of Application Data in a Linux File System.\" In Conference on File and Storage Technologies (FAST)","author":"Verma Rajat","year":"2015","unstructured":"Rajat Verma, Anton Ajay Mendez, Stan Park, Sandya Mannarswamy, Terence Kelly, and Charles B. Morrey III. \"Failure-Atomic Updates of Application Data in a Linux File System.\" In Conference on File and Storage Technologies (FAST), 2015. https:\/\/www.usenix.org\/system\/files\/conference\/fast15\/fast15-paper-verma.pdf"},{"key":"e_1_3_2_1_51_1","volume-title":"Accessed","author":"Technology Viking","year":"2015","unstructured":"Viking Technology. \"NVDIMM Technology: ArxCis-NV.\" http:\/\/www.vikingtechnology.com\/nvdimm-technology, Accessed 10 August 2015."},{"key":"e_1_3_2_1_52_1","volume-title":"Andres Jaan Tack, and Micheal M. Swift. \"Mnemosyne: Lightweight Persistent Memory.\" In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Volos Haris","year":"2011","unstructured":"Haris Volos, Andres Jaan Tack, and Micheal M. Swift. \"Mnemosyne: Lightweight Persistent Memory.\" In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2011."},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings of the VLDB Endowment","author":"Wang Tianzheng","year":"2014","unstructured":"Tianzheng Wang and Ryan Johnson. \"Scalable Logging through Emerging Non-Volatile Memory.\" In Proceedings of the VLDB Endowment, 2014."},{"key":"e_1_3_2_1_54_1","volume-title":"Revisiting RISC in an age of risk.\" In International Symposium on Computer Architecture (ISCA)","author":"Woodruff Jonathan","year":"2014","unstructured":"Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. Neumann, Robert Norton, and Michael Roe. \"The CHERI capability model: Revisiting RISC in an age of risk.\" In International Symposium on Computer Architecture (ISCA), 2014.%"},{"key":"e_1_3_2_1_55_1","volume-title":"Main Memory Storage System.\" In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Wu Micheal","year":"1994","unstructured":"Micheal Wu and Willy Zwaenepoel. \"eNVy: A Non-Volatile, Main Memory Storage System.\" In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 1994."},{"key":"e_1_3_2_1_56_1","unstructured":"Cong Xu Dimin Niu Naveen Muralimanohar Rajeev Balasubramonian Tao Zhang Shimeng Yu and Yuan Xie. \"Overcoming the challenges of crossbar resistive memory architectures.\" In Symposium on High Performance Computer Architecture (HPCA) 2015."},{"key":"e_1_3_2_1_57_1","unstructured":"\"Yahoo! Cloud Serving Benchmark (YCSB).\" https:\/\/github.com\/brianfrankcooper\/YCSB\/wiki Accessed 4 August 2015."},{"key":"e_1_3_2_1_58_1","volume-title":"Khai Leong Yong, and Bingsheng He. \"NV-Tree: Reducing Consistency Cost for NVM-based Single Level Systems.\" In Conference on File and Storage Technologies (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 Conference on File and Storage Technologies (FAST), 2015."},{"key":"e_1_3_2_1_59_1","volume-title":"USENIX Annual Technical Conference (ATC)","author":"Yoo Sunghwan","year":"2012","unstructured":"Sunghwan Yoo, Charles Killian, Terence Kelly, Hyoun Kyu Cho, and Steven Plite. \"Composable Reliability for Asynchronous Systems.\" In USENIX Annual Technical Conference (ATC), 2012. https:\/\/www.usenix.org\/system\/files\/conference\/atc12\/atc12-final206--7--20--12.pdf"},{"key":"e_1_3_2_1_60_1","volume-title":"Springer Berlin Heidelberg","author":"Zaks Anna","year":"2008","unstructured":"Anna Zaks and Rajeev Joshi. \"Verifying Multi-threaded C Programs with SPIN.\" Model Checking Software. Springer Berlin Heidelberg, 2008."},{"key":"e_1_3_2_1_61_1","volume-title":"Yuan Xie, and Norman P. Jouppi. \"Kiln: Closing the Performance Gap Between Systems With and Without Persistence Support.\" In International Symposium on Microarchitecture (MICRO)","author":"Zhao Jishen","year":"2013","unstructured":"Jishen Zhao, Sheng Li, Doe Hyun Lee, Yuan Xie, and Norman P. Jouppi. \"Kiln: Closing the Performance Gap Between Systems With and Without Persistence Support.\" In International Symposium on Microarchitecture (MICRO), 2013."}],"event":{"name":"ASPLOS '16: Architectural Support for Programming Languages and Operating Systems","location":"Atlanta Georgia USA","acronym":"ASPLOS '16","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-First International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2872362.2872410","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2872362.2872410","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2872362.2872410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:40:48Z","timestamp":1763458848000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2872362.2872410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,25]]},"references-count":61,"alternative-id":["10.1145\/2872362.2872410","10.1145\/2872362"],"URL":"https:\/\/doi.org\/10.1145\/2872362.2872410","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980024.2872410","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2954679.2872410","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,3,25]]},"assertion":[{"value":"2016-03-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}