Lecture 4
Determinacy Detection and Race Detection
(notes)
(Video - MIT) (Video - Sing.)
Lecture 5
Consistency, Locking, and Lock-Freedom