Lecture 14: Kernel concurrency bugs

Preparation

• Read Learning from Mistakes—A Comprehensive Study on Real World Concurrency Bug Characteristics.

Talk

• SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration
• slides