The cartesian product algorithm: Simple and precise type inference of parametric polymorphism, Proceedings of the 9th European Conference on Object-Oriented Programming, 1995. ,
Simultaneous demand-driven data-flow and call graph analysis, Proceedings of the 1999 International Conference on Software Maintenance, 1999. ,
Escape analysis for object oriented languages. application to Java, Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1999. ,
Garbage collection in an uncooperative environment. Software-Practice and Experience, vol.18, pp.807-820, 1988. ,
Removing unnecessary synchronization in Java, Proceedings of the 14th ,
, Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1999.
The Real-Time Specification for Java, 2000. ,
Escape analysis for Java, Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1999. ,
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. ,
Optimizing the use of high performance libraries, Proceedings of the Thirteenth Workshop on Languages and Compilers for Parallel Computing, 2000. ,
Demand-driven interprocedural array property analysis, Proceedings of the Twelfth Workshop on Languages and Compilers for Parallel Computing, 1999. ,
Demand interprocedural dataflow analysis, Proceedings of the ACM SIGSOFT 95 Symposium on the Foundations of Software Engineering, 1995. ,
Points-to and side-effect analyses for programs built with precompiled libraries, Proceedings of CC 2001: International Conference on Compiler Construction, 2001. ,
Data-flow analysis of program fragments, Proceedings of the ACM SIGSOFT 99 Symposium on the Foundations of Software Engineering, 1999. ,
Effective synchronization removal for Java, Proceedings of the SIGPLAN '00 Conference on Program Language Design and Implementation, 2000. ,
Design-directed compilation, Proceedings of CC 2001: International Conference on Compiler Construction, 2001. ,
Compositional pointer and escape analysis for Java programs, Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1999. ,
Incremental algorithms and empirical comparison for flow-and context-sensitive pointer aliasing analysis, Proceedings of the 21st International conference on Software Engineering, 1999. ,