Efficient deterministic multithreading through schedule relaxation (2011)

by H Cui, J Wu, J Gallagher, H Guo, J Yang
Venue:In Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP ’11