Lecture 14: Kernel concurrency bugs

Preparation

Talk