Lock Trace Reduction for Multithreaded Programs
ThreadSanitizer: data race detection in practice