Soyeon Park Shan Lu Yuanyuan Zhou CTrigger: exposing atomicity violation bugs from their hiding places. 25-36 2009 ASPLOS http://doi.acm.org/10.1145/1508244.1508249 conf/asplos/2009 db/conf/asplos/asplos2009.html#ParkLZ09