Jaaru: efficiently model checking persistent memory programs (Conference Paper) | NSF PAGES

skip to main content

Citation Details

Jaaru: efficiently model checking persistent memory programs

Award ID(s):: 1763172 2007737 2006948 1703598 1740210

NSF-PAR ID:: 10275863

Author(s) / Creator(s):: Gorjiara, Hamed; Xu, Guoqing Harry; Demsky, Brian

Date Published:: 2021-04-17

Journal Name:: ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’21)

Page Range / eLocation ID:: 415 to 428

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.1145/3445814.3446735