On thin air reads: towards an event structures model of relaxed memory

Name: On thin air reads: towards an event structures model of relaxed memory
Start: 2016-05-06T14:00+01:00
End: 2016-05-06T15:00+01:00
Location: Lecture Theatre B

Alan Jeffrey

6May
14:00 6th May 2016 ( week 2, Hilary Term 2016 )
Lecture Theatre B

Alan will speak about his forthcoming LICS paper: On thin air reads: towards an event structures model of relaxed memory. http://www.asaj.org/papers/lics16.pdf