Course Title: 
Concurrency
Course Brief Description: 

Programming parallel/concurrent applications emphasizing a tool-based approach to performance and correctness. Topics include: regular analysis of student code including tests of data race detection, deadlock detection, stateless model checking, linearizability checking, correctness issues in multi-core shared memory systems, performance pitfalls, message passing, data parallelism, writing parallel algorithms analysis of parallel and concurrent code for correctness, understanding expected invariants, explaining and fixing bugs, predicting and testing of parallel speedups and performance bottlenecks.

Instructor Name: 
Madan Musuvathi
Course Number: 
CSEP 506
Year: 
2011
Quarter: 
Spring
http://www.cs.washington.edu/education/courses/csep506/11sp/Home.html
http://www.cs.washington.edu/education/courses/csep506/11sp/Videos.html
Course Instance ID: 
csep506_11sp