Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools.

Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry

Browse the full PLDI paper archive.