Fast and Accurate Flow-Insensitive Points-To Analysis. - Marc Shapiro 002; Susan Horwitz (POPL, 1997)

The Effects of the Precision of Pointer Analysis. - Marc Shapiro 002; Susan Horwitz (SAS, 1997)