algebraic effects

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

Venue: ETAPS/FoSSaCS 2025

Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon Plotkin

ariv 05 Feb 2025

abstract submission rolling release (28 May 2025) slides

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