{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:58:16Z","timestamp":1769741896759,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T00:00:00Z","timestamp":1626825600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ontario Early Researcher Award"},{"name":"Google Faculty Research Award"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,21]]},"DOI":"10.1145\/3465084.3467943","type":"proceedings-article","created":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T21:09:28Z","timestamp":1627074568000},"page":"557-560","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Brief Announcement: Detectable Sequential Specifications for Recoverable Shared Objects"],"prefix":"10.1145","author":[{"given":"Nan","family":"Li","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}]},{"given":"Wojciech","family":"Golab","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2021,7,23]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Technical Report HPL-2003--241. Hewlett-Packard Labs.","author":"Aguilera Marcos K.","year":"2003","unstructured":"Marcos K. Aguilera and S. Fr\u00f8lund . 2003 . Strict linearizability and the power of aborting. Technical Report HPL-2003--241. Hewlett-Packard Labs. Marcos K. Aguilera and S. Fr\u00f8lund. 2003. Strict linearizability and the power of aborting. Technical Report HPL-2003--241. Hewlett-Packard Labs."},{"key":"e_1_3_2_2_2_1","volume-title":"Tracking in Order to Recover: Recoverable Lock-Free Data Structures. CoRR","author":"Attiya Hagit","year":"2019","unstructured":"Hagit Attiya , Ohad Ben-Baruch , Panagiota Fatourou , Danny Hendler , and Eleftherios Kosmas . 2019. Tracking in Order to Recover: Recoverable Lock-Free Data Structures. CoRR , Vol. abs\/ 1905 .13600 ( 2019 ). arxiv: 1905.13600 http:\/\/arxiv.org\/abs\/1905.13600 Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, and Eleftherios Kosmas. 2019. Tracking in Order to Recover: Recoverable Lock-Free Data Structures. CoRR, Vol. abs\/1905.13600 (2019). arxiv: 1905.13600 http:\/\/arxiv.org\/abs\/1905.13600"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3212734.3212753"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382734.3405725"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3323165.3323187"},{"key":"e_1_3_2_2_6_1","volume-title":"Proc. of the 19th International Conference on Principles of Distributed Systems (OPODIS). 20:1--20:17","author":"Berryhill Ryan","year":"2016","unstructured":"Ryan Berryhill , Wojciech Golab , and Mahesh Tripunitara . 2016 . Robust Shared Objects for Non-Volatile Main Memory . In Proc. of the 19th International Conference on Principles of Distributed Systems (OPODIS). 20:1--20:17 . Ryan Berryhill, Wojciech Golab, and Mahesh Tripunitara. 2016. Robust Shared Objects for Non-Volatile Main Memory. In Proc. of the 19th International Conference on Principles of Distributed Systems (OPODIS). 20:1--20:17."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950380"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3210377.3210400"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629589"},{"key":"e_1_3_2_2_10_1","volume-title":"Proc. of the 31st International Symposium on Distributed Computing (DISC)","volume":"91","author":"Friedman Michal","year":"2017","unstructured":"Michal Friedman , Maurice Herlihy , Virendra J. Marathe , and Erez Petrank . 2017 . Brief Announcement: A Persistent Lock-Free Queue for Non-Volatile Memory . In Proc. of the 31st International Symposium on Distributed Computing (DISC) , Vol. 91 . 50:1--50:4. Michal Friedman, Maurice Herlihy, Virendra J. Marathe, and Erez Petrank. 2017. Brief Announcement: A Persistent Lock-Free Queue for Non-Volatile Memory. In Proc. of the 31st International Symposium on Distributed Computing (DISC), Vol. 91. 50:1--50:4."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178487.3178490"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933057.2933087"},{"key":"e_1_3_2_2_13_1","volume-title":"Proc. of the 24th International Conference on Distributed Computing Systems (ICDCS). 400--407","author":"Guerraoui Rachid","unstructured":"Rachid Guerraoui and Ron R. Levy . 2004. Robust Emulations of Shared Memory in a Crash-Recovery Model . In Proc. of the 24th International Conference on Distributed Computing Systems (ICDCS). 400--407 . Rachid Guerraoui and Ron R. Levy. 2004. Robust Emulations of Shared Memory in a Crash-Recovery Model. In Proc. of the 24th International Conference on Distributed Computing Systems (ICDCS). 400--407."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.231756"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872410"},{"key":"e_1_3_2_2_17_1","volume-title":"Proc. of the 30th International Symposium on Distributed Computing (DISC). 313--327","author":"Izraelevitz Joseph","unstructured":"Joseph Izraelevitz , Hammurabi Mendes , and Michael L. Scott . 2016b. Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model . In Proc. of the 30th International Symposium on Distributed Computing (DISC). 313--327 . Joseph Izraelevitz, Hammurabi Mendes, and Michael L. Scott. 2016b. Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model. In Proc. of the 30th International Symposium on Distributed Computing (DISC). 313--327."},{"key":"e_1_3_2_2_18_1","volume-title":"Proc. of the 15th ACM Symposium on Principles of Distributed Computing (PODC). 267--275","author":"Maged","unstructured":"Maged M. Michael and Michael L. Scott. 1996. Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms . In Proc. of the 15th ACM Symposium on Principles of Distributed Computing (PODC). 267--275 . Maged M. Michael and Michael L. Scott. 1996. Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms. In Proc. of the 15th ACM Symposium on Principles of Distributed Computing (PODC). 267--275."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2015.46"},{"key":"e_1_3_2_2_20_1","unstructured":"Andy Rudoff and the Intel PMDK Team. 2020. Persistent Memory Development Kit. https:\/\/pmem.io\/pmdk\/ [last accessed 2\/11\/2021].  Andy Rudoff and the Intel PMDK Team. 2020. Persistent Memory Development Kit. https:\/\/pmem.io\/pmdk\/ [last accessed 2\/11\/2021]."},{"key":"e_1_3_2_2_21_1","volume-title":"Proc. of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 91--104","author":"Volos Haris","unstructured":"Haris Volos , Andres Jaan Tack , and Michael M. Swift . 2011. Mnemosyne: lightweight persistent memory . In Proc. of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 91--104 . Haris Volos, Andres Jaan Tack, and Michael M. Swift. 2011. Mnemosyne: lightweight persistent memory. In Proc. of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). 91--104."}],"event":{"name":"PODC '21: ACM Symposium on Principles of Distributed Computing","location":"Virtual Event Italy","acronym":"PODC '21","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465084.3467943","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3465084.3467943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:11Z","timestamp":1750191431000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465084.3467943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,21]]},"references-count":21,"alternative-id":["10.1145\/3465084.3467943","10.1145\/3465084"],"URL":"https:\/\/doi.org\/10.1145\/3465084.3467943","relation":{},"subject":[],"published":{"date-parts":[[2021,7,21]]},"assertion":[{"value":"2021-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}