Explore a conference talk on the denotational semantics of Release/Acquire (RA) concurrency presented at GALOP'24. Delve into the recent work by Yotam Dvir, Ohad Kammar, and Ori Lahav, who reimagine Brookes-style trace semantics for shared-state concurrent programming languages. Discover how the researchers developed a novel interpretation of trace-sets, shifting from interrupted executions to a game-like or rely-guarantee approach that models program-environment interactions. Gain insights into the semantics of the RA memory model, a subset of the C/C++ standard, and learn about ongoing research in general trace semantics for shared state. Engage with cutting-edge concepts in concurrent programming language theory and participate in discussions that could shape future directions in this field.
Overview
Syllabus
[GALOP'24] A Denotational Approach to Release/Acquire Concurrency
Taught by
ACM SIGPLAN