Department of Computer Science and Technology

Course pages 2017–18

Multicore Semantics and Programming

Slides for Part 1 (Peter Sewell)

Papers and tools

Code for C/C++11 stack example

Slides for Part 2 (Tim Harris)

Example exercises

  • There is an example exercise sheet and solution notes available for Tim Harris' section of the course. These are made available to provide an additional range of questions—there is no need to submit the answers.

Last year’s course materials are still available.

Instructions for lecturers: how to edit this page