SAFECode: Enforcing alias analysis for weakly typed languages. (2006)

by D Dhurjati, S Kowshik, V Adve
Venue:In ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI),