Rebecca Hasti Susan Horwitz Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis. 97-105 1998 PLDI db/conf/pldi/pldi98.html#HastiH98