Course pages 2011–12
Multicore Semantics and Programming
- Slides for weeks 1 and 2 (intro; x86) (Peter Sewell)
- Slides for week 3 (Power/ARM) (Susmit Sarkar)
- Slides for week 4 (programming langauges preamble (Peter Sewell)
- Slides for week 4 (C/C++11) (Mark Batty)
- Slides by Tim Harris (pdf) and (pptx)
Last year’s course materials.