Efficient deterministic multithreading through schedule relaxation (2011)

by H CUI, J WU, J GALLAGHER, H GUO, J YANG
Venue:In Proc. of Symposium on Operating System Principles (SOSP