Compositional pointer and escape analysis for Java programs

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 10, 1999, Pages 187-206

  Whaley, John ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144422537     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/320385.320400     Document Type: Article

References (29)

1. J. Aldrich, C. Chambers, E. Sirer, and S. Eggers. Static analyses for eliminating unnecessary synchronization from Java programs. In Proceedings of the 6th International Static Analysis Symposium, September 1999.
2. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994.
3. B. Goldberg and Y. Park. Escape analysis on lists. In Proceedings of the SIGPLAN '92 Conference on Program Language Design and Implementation, pages 116-127, July 1992.
4. H. Baker. Unifying and conquer (garbage, updating, aliasing ...) in functional languages. In Proceedings of the ACM Conference on Lisp and Functional Programming, pages 218-226, 1990.
5. B. Blanchet. Escape analysis: Correctness proof, implementation and experimental results. In Proceedings of the 25th Annual ACM Symposium on the Principles of Programming Languages, Paris, France, January 1998. ACM, ACM, New York.
6. B. Blanchet. Escape analysis for object oriented languages, application to Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.
7. J. Bodga and U. Hoelzle. Removing unnecessary synchronization in Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.
8. M. Burke, J. Choi, S. Fink, D. Grove, M. Hind, V. Sarkar, M. Serrano, V. Sreedhar, H. Srinivasan, and J. Whaley. The jalapeño dynamic optimizing compiler for Java. In Proceedings of the ACM SIGPLAN 1999 Java Grande Conference, June 1999.
9. R. Chatterjee, B. Ryder, and W. Landi. Relevant context inference. In Proceedings of the 26th Annual ACM Symposium on the Principles of Programming Languages, San Antonio, TX, January 1999.
10. J. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Conference Record of the Twentieth Annual Symposium on Principles of Programming Languages, Charleston, SC, January 1993. ACM.
11. J. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff. Escape analysis for java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.
12. J. Corbett. Using shape analysis to reduce finite-state models of concurrent java programs. In Proceedings of the International Symposium on Software Testing and Analysis, March 1998.
13. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the 9th European Conference on Object-Oriented Programming, Aarhus, Denmark, August 1995.
14. A. Deutsch. On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications. In Proceedings of the 17th Annual ACM Symposium on the Principles of Programming Languages, pages 157-168, San Francisco, CA, January 1990. ACM, ACM, New York.
15. A. Deutsch. On the complexity of escape analysis. In Proceedings of the 24th Annual ACM Symposium on the Principles of Programming Languages, Paris, France, January 1997. ACM, ACM, New York.
16. P. Diniz and M. Rinard. Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs. In Proceedings of the Ninth Workshop on Languages and Compilers for Parallel Computing, pages 285-299, San Jose, CA, August 1996. Springer-Verlag.
17. P. Diniz and M. Rinard. Synchronization transformations for parallel computing. In Proceedings of the 24th Annual ACM Symposium on the Principles of Programming Languages, pages 187-200, Paris, France, January 1997. ACM, New York.
18. M. Emami, R. Ghiya, and L. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the SIGPLAN '94 Conference on Program Language Design and Implementation, pages 242-256, Orlando, FL, June 1994. ACM, New York.
19. J. Hannan. A type-based analysis for block allocation in functional languages. In Proceedings of the Second International Static Analysis Symposium. ACM, ACM, New York, September 1995.
20. W. Landi and B. Ryder. A safe approximation algorithm for interprocedural pointer aliasing. In Proceedings of the SIGPLAN '92 Conference on Program Language Design and Implementation, San Francisco, CA, June 1992.
21. J. Plevyak, X. Zhang, and A. Chien. Obtaining sequential efficiency for concurrent object-oriented languages. In Proceedings of the 22nd Annual ACM Symposium on the Principles of Programming Languages, San Francisco, CA, January 1995. ACM, New York.
22. E. Ruf. Context-insensitive alias analysis reconsidered. In Proceedings of the SIGPLAN '95 Conference on Program Language Design and Implementation, La Jolla, CA, June 1995.
23. R. Rugina and M. Rinard. Pointer analysis for multithreaded programs. In Proceedings of the SIGPLAN '99 Conference on Program Language Design and Implementation, Atlanta, GA, May 1999.
24. M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1-50, January 1998.
25. P. Sathyanathan and M. Lam. Context-sensitive interprocedural pointer analysis in the presence of dynamic aliasing. In Proceedings of the Ninth Workshop on Languages and Compilers for Parallel Computing, San Jose, CA, August 1996. Springer-Verlag.
26. M. Shapiro and S. Horwitz. Fast and accurate flow-insensitive points-to analysis. In Proceedings of the 24th Annual ACM Symposium on the Principles of Programming Languages, Paris, France, January 1997.
27. Bjarne Steensgaard. Points-to analysis in almost linear time. In Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, St. Petersburg Beach, FL, January 1996.
28. R. Wilson and M. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the SIGPLAN '95 Conference on Program Language Design and Implementation, La Jolla, CA, June 1995. ACM, New York.
29. Y. Tang and P. Jouvelot. Control-flow effects for escape analysis. In Workshop on Static Analysis, pages 313-321, September 1992.