Bounding data races in space and time

Add to your list(s) Download to your calendar using vCal

• Stephen Dolan
• Tuesday 20 November 2018, 13:15-13:45
• Computer Laboratory, William Gates Building, Room FW11.

If you have a question about this talk, please contact Allison Randal.

If I read a variable twice, and the variable is not concurrently modified, then I expect to get the same value from both reads. Surprisingly 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) for which this property holds.

(See https://dl.acm.org/citation.cfm?id=3192421 for the paper)

This talk is part of the Computer Laboratory NetOS Group Talklets series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory NetOS Group Talklets
• Computer Laboratory, William Gates Building, Room FW11
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.