BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Modular Relaxed Dependencies in Weak Memory Concurrency - Marco Pa
 viotti
DTSTART:20191205T140000Z
DTEND:20191205T150000Z
UID:TALK135556@talks.cam.ac.uk
CONTACT:Jean Pichon-Pharabod
DESCRIPTION:We present a denotational semantics for weak memory concurrenc
 y that avoids thin-air reads\, provides data-race free programs with seque
 ntially consistent semantics (DRF-SC)\, and supports a compositional refin
 ement relation for validating optimisations.\nWe then use this semantics t
 o fix the C++ memory model\, which we call RD-C11 (Relaxed Dependencies C1
 1). We show RD-C11 is the first C++ model the avoids thin-air reads that i
 s aligned with the axiomatic-style specification of the ISO standard\, pro
 vides the DRF-SC property\, is efficiently implementable over hardware arc
 hitectures and that is tested via a simulator over a battery of litmus tes
 ts.
LOCATION:Computer Laboratory\, Room FW11
END:VEVENT
END:VCALENDAR