BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Wolfson College Lunchtime Seminar Series - Wednesd
 ays of Full Term
SUMMARY:Understanding Multiprocessors: Science\, Craft\, E
 ngineering\, or Mathematics? - Dr Peter Sewell\, R
 eader in Computer Science and EPSRC Leadership Fel
 low\, Computer Laboratory\, University of Cambridg
 e and Wolfson fellow
DTSTART;TZID=Europe/London:20120530T130000
DTEND;TZID=Europe/London:20120530T140000
UID:TALK37567AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/37567
DESCRIPTION:Computer systems are undergoing a shift: for many 
 decades they became faster every year\, while now 
 they become more _concurrent_\, with multiple proc
 essors in everything from smartphones to web serve
 rs. These have very subtle behaviour\, for which o
 ne cannot simply reason in terms of a global-time 
 causality order.  For the last few years my collea
 gues and I have been trying to understanding how m
 ultiprocessors behave (and how they _should_ behav
 e)\, with an interesting mixture of experiment\, d
 iscussions with IBM and ARM architects\, mathemati
 cal modelling\, and proof.  I'll give a general in
 troduction to some of the phenomena that underlie 
 the systems we use every day\, and talk about how 
 a judicious combination of those four approaches c
 an help.
LOCATION:Old Combination Room\, Wolfson College
CONTACT:Dr Andreas Bulling
END:VEVENT
END:VCALENDAR