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]

Authors

Thomas Shull

This author has not been identified. Look up 'Thomas Shull' in Google

Jian Huang

This author has not been identified. Look up 'Jian Huang' in Google

Josep Torrellas

This author has not been identified. Look up 'Josep Torrellas' in Google