Papers

• Fast and Accurate Flow-Insensitive Points-To Analysis
Marc Shapiro and Susan Horwitz in Principles of Programming Languages, 1997
• Points-to Analysis by Type Inference of Programs with Structures and Unions
Steensgaard, B. in In Proceedings of the 1996 International Conference on Compiler Construction, number 1060 in Lecture Notes in Computer Science, pages 136-150, Springer-Verlag, April 1996.
• Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting (please inform us if you know of a www or ftp link to this paper)
Alain Deutsch in ACM SIGPLAN '94 Conference on Programming Language Design and Implementation. 1994.