Shan Lu: Understanding, Detecting and Exposing Concurrency Bugs. University of Illinois Urbana-Champaign, USA 2008