Course description on PhD website: link
Correctness, Liveness, Scalability Slides Non-blocking data structures Slides Lock implementations Slides
Correctness, Liveness, Scalability
Slides
Non-blocking data structures
Lock implementations