Efficient Timestamping for Sampling-Based Race Detection. - Minjian Zhang 002; Daniel Wee Soong Lim; Mosaad Al Thokair; Umang Mathur 001; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2025)