BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Understanding Multiprocessors: Science\, Craft\, Engineering\, or 
 Mathematics? - Dr Peter Sewell\, Reader in Computer Science and EPSRC Lead
 ership Fellow\, Computer Laboratory\, University of Cambridge and Wolfson 
 fellow
DTSTART:20120530T120000Z
DTEND:20120530T130000Z
UID:TALK37567@talks.cam.ac.uk
CONTACT:Dr Andreas Bulling
DESCRIPTION:Computer systems are undergoing a shift: for many decades they
  became faster every year\, while now they become more _concurrent_\, with
  multiple processors in everything from smartphones to web servers. These 
 have very subtle behaviour\, for which one cannot simply reason in terms o
 f a global-time causality order.  For the last few years my colleagues and
  I have been trying to understanding how multiprocessors behave (and how t
 hey _should_ behave)\, with an interesting mixture of experiment\, discuss
 ions with IBM and ARM architects\, mathematical modelling\, and proof.  I'
 ll give a general introduction to some of the phenomena that underlie the 
 systems we use every day\, and talk about how a judicious combination of t
 hose four approaches can help.
LOCATION:Old Combination Room\, Wolfson College
END:VEVENT
END:VCALENDAR