BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Bounding data races in space and time - Stephen Dolan
DTSTART:20181120T131500Z
DTEND:20181120T134500Z
UID:TALK114307@talks.cam.ac.uk
CONTACT:Allison Randal
DESCRIPTION:If I read a variable twice\, and the variable is not concurren
 tly modified\, then I expect to get the same value from both reads. Surpri
 singly enough\, this isn't true in either C++ or Java! In this talk\, I'll
  explain how the complicated effects of data races make this property fail
 \, and talk about our new memory model (currently implemented for OCaml) f
 or which this property holds.\n\n(See https://dl.acm.org/citation.cfm?id=3
 192421 for the paper)
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR