Course pages 2015–16
Multicore Semantics and Programming
Slides
- Slides for week 1 (introduction) (Peter Sewell)
- Slides for week 2 (x86, architectures) (Peter Sewell)
- Slides for week 3 (testing) (Peter Sewell)
- Slides for week 3 and 4 (POWER and ARM) (Peter Sewell)
- Slides for week 5 (Peter Sewell): PL intro, C/C++11 intro (slides from Francesco Zappa Nardelli), and C/C++11 details (slides from Mark Batty).
- Code for Weeks 4/5:
- Slides for week 6 (Tim Harris)
- Slides for week 7 (Tim Harris)
- Slides for week 8 (Tim Harris)
Last year’s course materials are still available.