Understanding and detecting deep memory persistency bugs in NVM programs with DeepMC.

Benjamin Reidys, Jian Huang

Browse the full PPoPP paper archive.