A Denotational Approach to Release/Acquire Concurrency POPL/SRC 2024 Yotam Dvir January 17, 2024 Extended Abstract Poster Poster Competition concurrency weak memory denotational semantics