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
An Algebraic Theory for Shared-State Concurrency OOPSLA/APLAS 2022 Awarded the Boaz Trakhtenbrot Centennial Scholarship Yotam Dvir, Ohad Kammar, Ori Lahav November 25, 2022 Abstract Paper Slides Youtube Publication concurrency algebraic effects denotational semantics