A Denotational Approach to Release/Acquire Concurrency - GALOP'24
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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.
Syllabus
[GALOP'24] A Denotational Approach to Release/Acquire Concurrency
Taught by
ACM SIGPLAN
Related Courses
Game TheoryStanford University via Coursera Model Thinking
University of Michigan via Coursera Online Games: Literature, New Media, and Narrative
Vanderbilt University via Coursera Games without Chance: Combinatorial Game Theory
Georgia Institute of Technology via Coursera Competitive Strategy
Ludwig-Maximilians-Universität München via Coursera