Jaaru: efficiently model checking persistent memory programs.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Browse the full ASPLOS paper archive.