Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools

Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry. Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 25-35, ACM, 2010. [doi]

Abstract

Abstract is missing.