Deterministic Record-and-Replay. - Quinn, Andrew; Alvaro, Peter (Communications of the ACM, 2025)