SAFECode: enforcing alias analysis for weakly typed languages.

Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve

Browse the full PLDI paper archive.