Relaxed Memory Concurrency Re-executed. - Evgenii Moiseenko; Matteo Meluzzi; Innokentii Meleshchenko; Ivan Kabashnyi; Anton Podkopaev; Soham Chakraborty 001 (Proc. ACM Program. Lang., 2025)