Evgenii Moiseenko, Matteo Meluzzi, Innokentii Meleshchenko, Ivan Kabashnyi, Anton Podkopaev, Soham Chakraborty 0001. Relaxed Memory Concurrency Re-executed. Proceedings of the ACM on Programming Languages, 9(POPL):2149-2175, 2025. [doi]
Abstract is missing.