Olatunji Ruwase Shimin Chen Phillip B. Gibbons Todd C. Mowry Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. 25-35 2010 PLDI http://doi.acm.org/10.1145/1806596.1806600 conf/pldi/2010 db/conf/pldi/pldi2010.html#RuwaseCGM10