Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev. The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. Proceedings of the ACM on Programming Languages, 6(POPL):1-30, 2022. [doi]
Abstract is missing.