A Denotational Approach to Release/Acquire Concurrency POPL/GALOP 2024 Yotam Dvir, Ohad Kammar, Ori Lahav January 14, 2024 Abstract Extended Abstract Slides Workshop concurrency weak memory denotational semantics