BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Reasoning beyond data-race freedom - Stephen Dolan\, Ocaml Labs\, 
 University of Cambridge
DTSTART:20171110T140000Z
DTEND:20171110T150000Z
UID:TALK95380@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:If I read a variable twice\, and there are no concurrent write
 s to that\nvariable\, must both reads return the same value? Perhaps surpr
 isingly\,\nthe memory models for C++ and Java do not ensure this\, due to 
 their\nweak guarantees in the presence of data races. These models give\ns
 trong guarantees only for globally data race free programs: a data\nrace o
 n any variable can affect accesses to any other (C++)\, or to the\nsame va
 riable at other times (C++\, Java).\n\nIn this talk\, I'll describe our wo
 rk-in-progress to specify and\nimplement a memory model for OCaml which gi
 ves useful guarantees about\nprogram behaviour even in the presence of dat
 a races\, culminating in\nthe "local DRF" property: the data-race free par
 ts of a program have\nsequential semantics\, even if the rest of the progr
 am has races. 
LOCATION:FW26
END:VEVENT
END:VCALENDAR