weak memory

A Brookes-Style Denotational Semantics for Release/Acquire Concurrency

Venue: TOPLAS
Accepted for publication

Yotam Dvir, Ohad Kammar, Ori Lahav

15 Oct 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

Workshop

concurrency weak memory denotational semantics