Monadic and Algebraic Denotational Semantics for Concurrent Shared State Venue: University of Tartu, Estonia Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon Plotkin 19 May 2025 abstract slides Visit concurrency weak memory denotational semantics
A Brookes-Style Denotational Semantics for Release/Acquire Concurrency Venue: TOPLAS Yotam Dvir, Ohad Kammar, Ori Lahav 27 Sep 2024 abstract journal proceedings slides poster Publication Journal concurrency weak memory denotational semantics
A Denotational Approach to Release/Acquire Concurrency Venue: ETAPS/ESOP 2024 Yotam Dvir, Ohad Kammar, Ori Lahav 11 Apr 2024 abstract journal proceedings slides poster Publication Conference concurrency weak memory denotational semantics
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
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