skip to main content

Explore Research Products in the NSF-PAR

Title: Jaaru: efficiently model checking persistent memory programs
Award ID(s):
1763172 2007737 2006948 1703598 1740210
NSF-PAR ID:
10275863
Author(s) / Creator(s):
; ;
Date Published:
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
More Like this
No document suggestions found
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email