QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks-Reference-Cited by-同舟云学术

QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments - VEE 2019
language:
Short-container-title:

Author:

Shull Thomas¹,Huang Jian¹,Torrellas Josep¹

Affiliation:

1. University of Illinois at Urbana-Champaign, USA

Publisher

ACM Press

Reference55 articles.

1. H. Akinaga and H. Shima. 2010. Resistive Random Access Memory (ReRAM) Based on Metal Oxides. Proc. IEEE 98, 12 (Dec 2010), 2237– 2251.

2. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley. 2000. The Jalapeño Virtual Machine. IBM Syst. J. 39, 1 (Jan. 2000), 211–238.

3. B. Alpern, S. Augart, S. M. Blackburn, M. Butrico, A. Cocchi, P. Cheng, J. Dolby, S. Fink, D. Grove, M. Hind, K. S. McKinley, M. Mergen, J. E. B. Moss, T. Ngo, and V. Sarkar. 2005. The Jikes Research Virtual Machine Project: Building an Open-source Research Community. IBM Syst. J. 44, 2 (Jan. 2005), 399–417.

4. Malcolm Atkinson, Ken Chisholm, and Paul Cockshott. 1982. PS-Algol: An Algol with a Persistent Heap. SIGPLAN Not. 17, 7 (July 1982), 24–31.

5. Malcolm Atkinson and Mick Jordan. 2000. A Review of the Rationale and Architectures of PJama: A Durable, Flexible, Evolvable and Scalable Orthogonally Persistent Programming Platform. Technical Report. Mountain View, CA, USA.

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

1. Replication-based object persistence by reachability;Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management;2022-06-14

2. J-NVM;Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles CD-ROM;2021-10-26

3. UniHeap;Proceedings of the 14th ACM International Conference on Systems and Storage;2021-06-14

4. Compiler-support for Critical Data Persistence in NVM;ACM Transactions on Architecture and Code Optimization;2020-01-10

5. AutoPersist: an easy-to-use Java NVM framework based on reachability;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08