A Denotational Approach to Release/Acquire Concurrency Venue: POPL/GALOP 2024 Yotam Dvir, Ohad Kammar, Ori Lahav 14 Jan 2024 abstract slides abstract Workshop concurrency weak memory denotational semantics