Jaaru: efficiently model checking persistent memory programs-Reference-Cited by-同舟云学术

Jaaru: efficiently model checking persistent memory programs

Published:2021-04-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Gorjiara Hamed¹,Xu Guoqing Harry²,Demsky Brian¹

Affiliation:

1. University of California at Irvine, USA

2. University of California at Los Angeles, USA

Funder

Office of Naval Research

NSF (National Science Foundation)

Publisher

ACM

Link

Reference56 articles.

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

1. SPP: Safe Persistent Pointers for Memory Safety;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2024-06-24

2. Constraint Based Program Repair for Persistent Memory Bugs;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

5. NearPM: A Near-Data Processing System for Storage-Class Applications;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08