Escape analysis for Java

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 10, 1999, Pages 1-19

  Choi, Jong Deok ^a   Gupta, Manish ^a   Serrano, Mauricio ^a   Sreedhar, Vugranam C ^a   Midkiff, Sam ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144414568     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/320385.320386     Document Type: Article

References (26)

1. Jonathan Alridch, Craig Chambers, Emin Gun Sirer, and Susan Eggers. Static analysis for eliminating unnessary synchronization from java programs. In Proceedings of the Sixth International Static Analysis Symposium, Venezia, Italy, September 1999.
2. D. F. Bacon, R. Konuru, C. Murthy, and M. Serrano. Thin locks: Featherweight synchronization for Java. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation, Montreal, Canada, June 1998.
3. L. Birkedal, M. Tofte, and M. Vejlstrup. From region inference to von Neumann machines via region representation inference. In Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, January 1996.
4. B. Blanchet. Escape analysis: Correctness, proof, implementation and experimental results. In Proc. 25th Annual ACM Symposium on Principles of Programming Languages, pages 25-37, San Diego, CA, January 1998.
5. Bruno Blanchet. Escape analysis for object oriented languages: Application to Java. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Denver, Colorado, November 1999.
6. Jeff Bodga and Urs Hölzle. Removing unnecessay synchronization in java. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Denver, Colorado, November 1999.
7. Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Flow-insensitive interprocedural alias analysis in the presence of pointers. In K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science, 892, pages 234-250. Springer-Verlag, 1995. Proceedings from the 7th Workshop on Languages and Compilers for Parallel Computing. Extended version published as Research Report RC 19546, IBM T. J. Watson Research Center, September 1994.
8. Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Flow-insensitive interprocedural alias analysis in the presence of pointers. In K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science, 892, pages 234-250. Springer-Verlag, 1995. Proceedings from the 7th Workshop on Languages and Compilers for Parallel Computing. Extended version published as Research Report RC 19546, IBM T. J. Watson Research Center, September 1994.
9. Michael G. Burke, Jong-Deok Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, V. C. Sreedhar, Harini Srinivasan, and John Whaley. The Jalapeño dynamic optimizing compiler for java. In Proc. ACM SIGPLAN 1999 Java Grande Conference, June 1999.
10. Jong-Deok Choi, David Grove, Michael Hind, and Vivek Sarkar. Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs, 1999. To appear at PASTE '99.
11. James C. Corbett. Constructing compact models of concurrent java programs. In Proceedings of the 1998 International Symposium of Software Testing and Analysis. ACM Press, March 1998.
12. IBM Corporation. IBM High Performance Compiler for Java, 1997. Information available in Web page at http://simont01.torolab.ibm.com/hpj/hpj.html, available for download at http://www.alphaWorks.ibm.com/formula.
13. A. Deutsch. On the complexity of escape analysis. In Proc. 24th Annual ACM Symposium on Principles of Programming Languages, pages 358-371, San Diego, CA, January 1997.
14. P. Diniz and M. Rinard. Synchronization Transformations for Parallel Computing. In Proceedings of the 9'th Workshop on Languages and Compilers for Parallel Computers, January 1997.
15. Julian Dolby. Automatic inline allocation of objects. In Proceedings of the 1997 ACM SIGPLAN Conference of Programming Language Design and Implementation, Las Vegas, Nevada, June 1997.
16. David Gay and Bjarne Steensgaard. Stack allocating objects in Java. Research Report, Microsoft Research, 1999.
17. R. Ghiya and L. J. Hendren. Putting pointer analysis to work. In Proc. 25th Annual ACM Symposium on Principles of Programming Languages, pages 121-133, San Diego, CA, January 1998.
18. (™) Language Specification. Addison-Wesley, 1996.
19. J. Hannan. A type-based analysis for stack allocation in functional languages. In Proc. 2nd International Static Analysis Symposium, September 1995.
20. Michael Hind, Michael Burke, Paul Carini, and Jong-Deok Choi. Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems. To appear.
21. Z. Li and VV. Abu-Sufah. On reducing data synchronization in multiprocessed loops. IEEE Transactions on Computers, C-36(1):105-109, January 1987.
22. S.P. Midkiff and D. Padua. Compiler algorithms for synchronization. IEEE Transactions on Computers, C-36(12):1485-1495, December 1987.
23. Y.G. Park and B. Goldberg. Escape analysis on lists. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 117-127, July 1992.
24. A. Reid, J. McCorquodale, J. Baker, W. Hsieh, and J. Zachary. The need for predictable garbage collection. In WCSSS'99 Workshop on Compiler Support for System Software, March 1999.
25. C. Ruggieri and T.P. Murtagh. Lifetime analysis of dynamically allocated objects. In Proc. 15th Annual ACM Symposium on Principles of Programming Languages, pages 285-293, January 1988.
26. John Whaley and Martin Rinard. Compositional pointer and escape analysis for java programs. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Denver, Colorado, November 1999.