2-2017 Lightweight data race detection for production runs
Valgrind: a framework for heavyweight dynamic binary instrumentation