FliT-Reference-Cited by-同舟云学术

FliT

Published:2022-03-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
language:
Short-container-title:

Author:

Wei Yuanhao¹,Ben-David Naama²,Friedman Michal³,Blelloch Guy E.¹,Petrank Erez³

Affiliation:

1. Carnegie Mellon University

2. VMware Research

3. Technion, Israel

Funder

National Science Foundation

Israel Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3503221.3508436

Reference38 articles.

1. AMD. [n.d.]. AMD64 Architecture Programmer's Manual. https://www.amd.com/system/files/TechDocs/24594.pdf AMD. [n.d.]. AMD64 Architecture Programmer's Manual. https://www.amd.com/system/files/TechDocs/24594.pdf

2. ARM. 2018. ARM Architecture Reference Manual ARMv8. https://static.docs.arm.com/ddi0487/da/DDI0487D_a_armv8_arm.pdf ARM. 2018. ARM Architecture Reference Manual ARMv8. https://static.docs.arm.com/ddi0487/da/DDI0487D_a_armv8_arm.pdf

3. Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures

4. Nesting-Safe Recoverable Linearizability

5. H Alan Beadle , Wentao Cai , Haosen Wen , and Michael L Scott . 2020 . Nonblocking persistent software transactional memory . In ACM Symposium on Principles and Practice of Parallel Programming (PPOPP). H Alan Beadle, Wentao Cai, Haosen Wen, and Michael L Scott. 2020. Nonblocking persistent software transactional memory. In ACM Symposium on Principles and Practice of Parallel Programming (PPOPP).

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A verified durable transactional mutex lock for persistent x86-TSO;Formal Methods in System Design;2024-07-31

2. Skip It: Take Control of Your Cache!;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

3. Specifying and Verifying Persistent Libraries;Lecture Notes in Computer Science;2024

4. A Fully Verified Persistency Library;Lecture Notes in Computer Science;2023-12-30

5. Memento: A Framework for Detectable Recoverability in Persistent Memory;Proceedings of the ACM on Programming Languages;2023-06-06