HardRace: A Dynamic Data Race Monitor for Production Use. - Xudong Sun 019; Zhuo Chen; Jingyang Shi; Yiyu Zhang; Peng Di; Xuandong Li; Zhiqiang Zuo 002 (CoRR, 2024)