A Denotational Approach to Release/Acquire Concurrency ETAPS/ESOP 2024 Yotam Dvir, Ohad Kammar, Ori Lahav April 11, 2024 Abstract Paper Full Slides Poster Publication concurrency weak memory denotational semantics
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
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