Inferring Likely Counting-related Atomicity Program Properties for Persistent Memory.

Yunmo Zhang, Junqiao Qiu, Hong Xu, Chun Jason Xue

Browse the full USENIX paper archive.