Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation
https://valgrind.org/docs/valgrind2007.pdf
をメインでおまけとして tsan までの流れを
Eraser: A Dynamic Data Race Detector for Multithreaded Programs
https://homes.cs.washington.edu/~tom/pubs/eraser.pdf
Fault Detection in Multi-Threaded C++ Server Applications
https://valgrind.org/docs/muehlenfeld2006.pdf
ThreadSanitizer – data race detection in practice
https://static.googleusercontent.com/media/research.google.com/ja//pubs/archive/35604.pdf
その後も色々あるようだけど、覚えてない and/or 読んでない
Sound Predictive Race Detection in Polynomial Time
https://users.soe.ucsc.edu/~cormac/papers/popl12a.pdf
Online Set-Based Dynamic Analysis for Sound Predictive Race Detection
https://arxiv.org/pdf/1907.08337.pdf