Determinism is not enough: Making parallel programs reliable with stable multithreading (2014)

by J Yang, H Cui, J Wu, Y Tang, G Hu
Venue:Communications of the ACM