A collection of concurrency bugs (http://www.eecs.umich.edu/~jieyu/bugs.html).