1. Compilers?Principles, Techniques and Tools. Addison-Wesley, 1986.
2. Interprocedural May-alias analysis for pointers: Beyond k-limiting. Proceedings of SIGPLAN '94 Conference on Programming Language Design and Implementation, June 1994; 230-241.
3. Context-sensitive interprocedural analysis in the presence of function pointers. Proceedings of SIGPLAN '94 Conference on Programming Language Design and Implementation, June 1994; 242-256.
4. A safe approximate algorithm for interprocedural pointer aliasing. Proceedings of SIGPLAN '92 Conference on Programming Language Design and Implementation, June 1992; 235-248.
5. Efficient context-sensitive pointer analysis for C programs. Proceedings of SIGPLAN '95 Conference on Programming Language Design and Implementation, June 1995; 1-12.