Jaaru: efficiently model checking persistent memory programs.

Fri, 01 Jan 2021 00:00:00 +0100

Hamed Gorjiara, Guoqing Harry Xu , Brian Demsky:
Jaaru: efficiently model checking persistent memory programs. ASPLOS 2021: 415-428