Course pages 2013–14

Multicore Semantics and Programming

Lectures 1–5

• Written exercises for Peter Sewell and Mark Batty's lectures, due 27 Jan 2014.
• Code:
  • stack-na.c
  • stack-sc.c
  • stack-weak.c
  • Makefile

Lectures 6–8

• Written exercises and practical work (Tim Harris' lectures) — due 20 Jan 2014
• Example source code