Course pages 2012–13
Multicore Semantics and Programming
Lectures 1–4
- Written exercises (Peter Sewell and Mark Batty's lectures) — due 28 Jan 2013
Lectures 5–8
- Written exercises and practical work (Tim Harris' lectures) — due 21 Jan 2013
- Example source code