A Denotational Approach to Release/Acquire Concurrency Venue: POPL/SRC 2024 Yotam Dvir 17 Jan 2024 Poster Conference Competition concurrency weak memory denotational semantics poster abstract