SimRT: an automated framework to support regression testing for data races
ThreadSanitizer: data race detection in practice