ConSeq: Detecting concurrency bugs through sequential errors (2011)

by W Zhang, J Lim, R Olichandran, J Scherpelz, G Jin, S Lu, T Reps
Venue:In ASPLOS