2 ms·Efficient, Scalable Thread-Safety Violation Detection – Finding Concurrency Bugs1 points by pabs3 4y ago