On-Line Course: CSEP 506, Spring 2011

Title: 
Concurrency
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: 
Madan Musuvathi
Links: