Jaaru: efficiently model checking persistent memory programs

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 17, 2021
Source ID
10.1145/3445814.3446735

Entities

People

  • Brian Demsky
  • Guoqing Harry Xu
  • Hamed Gorjiara

Organizations

  • National Science Foundation
  • Office of Naval Research
  • University of California, Irvine
  • University of California, Los Angeles