HardRace: A Dynamic Data Race Monitor for Production Use - Sun, Xudong (arXiv.org)