ConSeq: detecting concurrency bugs through sequential errors.

Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps

Browse the full ASPLOS paper archive.