Lightweight Data Race Detection for Production Runs
Valor: Efficient, Software-Only Region Conflict Exceptions
We have updated the Pacer code to fix a few issues and added a few features which...
DoubleChecker: Efficent Sound and Precise Atomicity Checking