concurrency

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

concurrency weak memory denotational semantics

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

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

concurrency weak memory 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