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

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency

Venue: TOPLAS
Accepted for publication

Yotam Dvir, Ohad Kammar, Ori Lahav

15 Oct 2024

Venue: ETAPS/ESOP 2024

Yotam Dvir, Ohad Kammar, Ori Lahav

11 Apr 2024

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

Yotam Dvir, Ohad Kammar, Ori Lahav

25 Nov 2022

Venue: TABLEAUX 2019

Yotam Dvir, Arnon Avron

03 Sep 2019