O. Agesen, The cartesian product algorithm: Simple and precise type inference of parametric polymorphism, Proceedings of the 9th European Conference on Object-Oriented Programming, 1995.

G. , Simultaneous demand-driven data-flow and call graph analysis, Proceedings of the 1999 International Conference on Software Maintenance, 1999.

B. Blanchet, Escape analysis for object oriented languages. application to Java, Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1999.

H. Boehm and M. Weiser, Garbage collection in an uncooperative environment. Software-Practice and Experience, vol.18, pp.807-820, 1988.

J. Bogda and U. Hoelzle, Removing unnecessary synchronization in Java, Proceedings of the 14th

, Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1999.

G. Bollella, The Real-Time Specification for Java, 2000.

J. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff, Escape analysis for Java, Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1999.

E. Duesterwald, R. Gupta, and M. Soffa, A practical framework for demand-driven interprocedural data flow analysis, ACM Transactions on Programming Languages and Systems, vol.19, issue.6, pp.992-1030, 1997.

S. Guyer and C. Lin, Optimizing the use of high performance libraries, Proceedings of the Thirteenth Workshop on Languages and Compilers for Parallel Computing, 2000.

Y. Lin and D. Padua, Demand-driven interprocedural array property analysis, Proceedings of the Twelfth Workshop on Languages and Compilers for Parallel Computing, 1999.

T. Reps, S. Horowitz, and M. Sagiv, Demand interprocedural dataflow analysis, Proceedings of the ACM SIGSOFT 95 Symposium on the Foundations of Software Engineering, 1995.

A. Rountev and B. Ryder, Points-to and side-effect analyses for programs built with precompiled libraries, Proceedings of CC 2001: International Conference on Compiler Construction, 2001.

A. Rountev, B. Ryder, and W. Landi, Data-flow analysis of program fragments, Proceedings of the ACM SIGSOFT 99 Symposium on the Foundations of Software Engineering, 1999.

E. Ruf, Effective synchronization removal for Java, Proceedings of the SIGPLAN '00 Conference on Program Language Design and Implementation, 2000.

R. Rugina and M. Rinard, Design-directed compilation, Proceedings of CC 2001: International Conference on Compiler Construction, 2001.

J. Whaley and M. Rinard, Compositional pointer and escape analysis for Java programs, Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1999.

J. Yur, B. Ryder, and W. Landi, Incremental algorithms and empirical comparison for flow-and context-sensitive pointer aliasing analysis, Proceedings of the 21st International conference on Software Engineering, 1999.