Towards dynamic interprocedural analysis in JVMs

Proceedings of the 3rd Virtual Machine Research and Technology Symposium, JAVA VM 2004

Volumn , Issue , 2004, Pages

  Qian, Feng ^a   Hendren, Laurie ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICS; ENGINEERING RESEARCH; GRAPH ALGORITHMS; JAVA PROGRAMMING LANGUAGE; NETWORK SECURITY; POLYMORPHISM; VIRTUAL MACHINE; XML;

CALL GRAPH CONSTRUCTION; CLASS HIERARCHY ANALYSIS; COMPLETE CALL GRAPHS; EMPIRICAL MEASUREMENT; ESCAPE ANALYSIS; INTER-PROCEDURAL ANALYSIS; POINTS-TO ANALYSIS; SPECULATIVE OPTIMIZATION;

LOADING;

EID: 85093834850     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley. The Jalapeño Virtual Machine. IBM Systems Journal, 39(1):211-238, February 2000.
2. B. Alpern, A. Cocchi, S. J. Fink, D. Grove, and D. Lieber. Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 108-124, 2001.
3. L. O. Andersen. Program Analysis and Specialization for the C Programming Language, May 1994. Ph.D thesis, DIKU, University of Copenhagen.
4. M. Arnold, S. Fink, D. Grove, M. Hind, and P. F. Sweeney. Adapative Optimization in the Jalapeño JVM. In Proceedings the Conference on Object- Oriented Programming, Systems, Languages, and Applications, pages 47-65, Oct 2000.
5. M. Arnold, M. Hind, and B. Ryder. Online Feedback-Directed Optimization of Java. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 111 - 129, October 2002.
6. D. F. Bacon and P. F. Sweeney. Fast Static Analysis of C++ Virtual Function Calls. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 324 - 341, Oct 1996.
7. M. Berndl, O. Lhoták, F. Qian, L. Hendren, and N. Umanee. Points-to Analysis Using BDDs. In Proceedings of the Conference on Programming Language Design and Inplementation, pages 103- 114, June 2003.
8. J. Bogda and A. Singh. Can a Shape Analysis Work at Run-time? In USENIX Java Virtual Machine and Technology Symposium, pages 13 - 26, April 2001.
9. J. Dean, D. Grove, and C. Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. In W. G. Olthoff, editor, ECOOP'95-9th European Conference for Object- Oriented Programming, volume 952 of Lecture Notes in Computer Science, pages 77-101, A° arhus, Denmark, August 1995. Springer.
10. M. Emami, R. Ghiya, and L. J. Hendren. Context- Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. In Proceedings of the Conference on Programming Language Design and Implementation, pages 242-256, June 1994.
11. M. Fähndrich, J. S. Foster, Z. Su, and A. Aiken. Partial Online Cycle Elimination in Inclusion Constraint Graphs. In Proceedings of the Conference on Programming Language Design and Implementation, pages 85-96, June 1998.
12. S. J. Fink and F. Qian. Design, Implementation and Evaluation of Adaptive Recompilation with On- Stack Replacement. In International Symposium on Code Generation and Optimization, pages 241 - 252, March 2003.
13. S. Ghemawat, K. Randall, and D. Scales. Field Analysis: Getting Useful and Low-Cost Interprocedural Information. In Proceedings of the Conference on Programming Language Design and Implementation, pages 334 - 344, June 2000.
14. N. Heintze. Analysis of Large Code Bases: The Compile-Link-Analyze Model, 1999. http://cm.bell-labs.com/cm/cs/who/nch/ cla.ps.
15. M. Hirzel, A. Diwan, and M. Hind. Pointer Analysis in the Presence of Dynamic Class Loading. In ECOOP'04-18th European Conference for Object-Oriented Programming, June 2004.
16. U. Hölzle. Adaptive Optimization for SELF: Reconciling High Performance with Exploratory Programming, 1994. Ph.D Thesis, Standford University.
17. U. Hölzle, C. Chambers, and D. Ungar. Debugging Optimized Code with Dynamic Deoptimization. In Proceedings of the Conference on Programming Language Design and Implementations, pages 32 - 43, July 1992.
18. K. Ishizaki, M. Kawahito, T. Yasue, H. Komatsu, and T. Nakatani. A Study of Devirtualization Techniques for a Java Just-In-Time Compiler. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 294-310, October 2000.
19. Jikes™ Research Virtual Machine. http://www-124.ibm.com/developerworks/ oss/jikesrvm/.
20. O. Lhoták and L. Hendren. Scaling Java Points-to Analysis Using Spark. In G. Hedin, editor, Compiler Construction, 12th International Conference, volume 2622 of LNCS, pages 153-169, Warsaw, Poland, April 2003. Springer.
21. S. Liang and G. Bracha. Dynamic Class Loading in the Java(TM) Virtual Machine. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 36 - 44, October 1998.
22. M. Paleczny, C. Vick, and C. Click. The Java HotSpot(TM) Server Compiler. In USENIX Java Virtual Machine Research and Technology Symposium, pages 1 - 12, April 2001.
23. I. Pechtchanski and V. Sarkar. Dynamic Optimistic Interprocedural Analysis: A Framework and an Application. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 195 - 210, October 2001.
24. A. Rountev and S. Chandra. Off-line Variable Substitution for Scaling Points-to Analysis. In Proceedings of the Conference on Programming Language Design and Implementation, pages 47 - 56, June 2000.
25. A. Rountev, A. Milanova, and B. Ryder. Points-to Analysis for Java Using Annotated Constraints. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 43 - 55, October 2001.
26. Spec JBB2000 benchmark. http://www.spec.org/jbb2000/.
27. Spec JVM98 benchmarks. http://www.spec.org/jvm98/.
28. V. C. Sreedhar, M. G. Burke, and J.-D. Choi. A Framework for Interprocedural Optimization in the Presence of Dynamic Class Loading. In Proceedings of the Conference on Programming Language Design and Implementations, pages 196 - 207, June 2000.
29. B. Steensgaard. Points-to Analysis in Almost Linear Time. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 32-41, January 1996.
30. T. Suganuma, T. Yasue, and T. Nakatani. A Region- Based Compilation Technique for a Java Just-In- Time Compiler. In Proceedings of the Conference on Programming Language Design and Implementation, pages 312 - 323, June 2003.
31. V. Sundaresan, L. J. Hendren, C. Razafimahefa, R. Vallée-Rai, P. Lam, E. Gagnon, and C. Godin. Practical Virtual Method Call Resolution for Java. In Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 264- 280, October 2000.
32. F. Tip and J. Palsberg. Scalable Propagation-based Call Graph Construction Algorithms. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 281-293, October 2000.
33. F. Vivien and M. C. Rinard. Incrementalized Pointer and Escape Analysis. In Proceedings of the Conference on Programming Language Design and Implementation, pages 35 - 46, May 2001.
34. Weka 3: Data Mining Software in Java. http://www.cs.waikato.ac.nz/ml/weka/.