BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Denotational Approach to Release/Acquire Concurrency - Yotam Dvi
 r (Tel Aviv University)
DTSTART:20240122T130000Z
DTEND:20240122T140000Z
UID:TALK211201@talks.cam.ac.uk
CONTACT:47138
DESCRIPTION:We want to report on recent and ongoing work into the denotati
 onal semantics of shared-state concurrent programming languages with Brook
 es-style trace semantics. Most of the talk would cover our trace semantics
  for the Release/Acquire (RA) memory model\, a fragment of the C/C++ stand
 ard. Developing this semantics required us to re-think the interpretation 
 of Brookes trace-sets\, moving away from interrupted executions and toward
 s a game-like/rely-guarantee-like intuition about the interaction of the p
 rogram with its environment. \n\n
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR