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

Thomas Shull, Jian Huang, Josep Torrellas. QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks. In Jennifer B. Sartor, Mayur Naik, Chris Rossbach, editors, Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2019, Providence, RI, USA, April 14, 2019. pages 137-151, ACM, 2019. [doi]

Abstract

Abstract is missing.