algebraic effects

Two-sorted Algebraic Decompositions of Brookes's Shared-State Denotational Semantics

Venue: ETAPS/FoSSaCS 2025
Accepted for publication

Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon Plotkin

20 Dec 2024

abstract submission

Publication Conference

concurrency algebraic effects denotational semantics

An Algebraic Theory for Shared-State Concurrency

Venue: OOPSLA/APLAS 2022
Awarded the Boaz Trakhtenbrot Centennial Scholarship

Yotam Dvir, Ohad Kammar, Ori Lahav

25 Nov 2022

abstract proceedings slides Youtube

Publication Conference

concurrency algebraic effects denotational semantics