Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.

Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye

Browse the full SOSP paper archive.