Understanding Multiprocessors: Science, Craft, Engineering, or Mathematics?

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

• Dr Peter Sewell, Reader in Computer Science and EPSRC Leadership Fellow, Computer Laboratory, University of Cambridge and Wolfson fellow
• Wednesday 30 May 2012, 13:00-14:00
• Old Combination Room, Wolfson College.

If you have a question about this talk, please contact Dr Andreas Bulling.

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 of a global-time causality order. For the last few years my colleagues and I have been trying to understanding how multiprocessors behave (and how they should behave), with an interesting mixture of experiment, discussions 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 those four approaches can help.

This talk is part of the Wolfson College Lunchtime Seminar Series - Wednesdays of Full Term series.

This talk is included in these lists:

• Old Combination Room, Wolfson College
• Wolfson College Lunchtime Seminar Series - Wednesdays of Full Term

Note that ex-directory lists are not shown.