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