QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks.

Thomas Shull, Jian Huang, Josep Torrellas

Browse the full VEE paper archive.