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]

Authors

Olatunji Ruwase

This author has not been identified. Look up 'Olatunji Ruwase' in Google

Shimin Chen

This author has not been identified. Look up 'Shimin Chen' in Google

Phillip B. Gibbons

This author has not been identified. Look up 'Phillip B. Gibbons' in Google

Todd C. Mowry

This author has not been identified. Look up 'Todd C. Mowry' in Google