Region analysis and transformation for Java programs

International Symposium on Memory Management, ISMM

Volumn , Issue , 2004, Pages 85-96

  Cherem, Sigmund ^a   Rugina, Radu ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

Pointer analysis; Program transformations; Region based memory management

Indexed keywords

ALGORITHMS; DATA STORAGE EQUIPMENT; EXPERT SYSTEMS; MATHEMATICAL TRANSFORMATIONS; PROGRAM COMPILERS; PROGRAM INTERPRETERS;

INFERENCE SYSTEMS; POINTER ANALYSIS; PROGRAM TRANSFORMATIONS; REGION-BASED MEMORY MANAGEMENT;

JAVA PROGRAMMING LANGUAGE;

EID: 21644451309     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1029873.1029884     Document Type: Conference Paper

References (26)

1. A. Aiken, M. Fahndrich, and R. Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Proceedings of the SIGPLAN '95 Conference on Program Language Design and Implementation, La Jolla, CA, June 1995.
2. L. Birkedal, M. Tofte, and M. Vejlstrup. From region inference to von Neumann machines via region representation inference. In Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, St. Petersburg Beach, FL, January 1996.
3. 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.
4. J. Bogda 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.
5. G. Bollella, J. Gosling, B. Brosgol, P. Dibble, S. Furr, D. Hardin, and M. Turnbull. The Real-Time Specification for Java. Addison-Wesley, Reading, Mass., 2000. http://www.rtj.org/.
6. C. Boyapati, A. Salcianu, W. Beebee, and M. Rinard. Ownership types for safe region-based memory management in real-time Java. In Proceedings of the SIGPLAN '03 Conference on Program Language Design and Implementation, San Diego, CA, June 2003.
7. Brendon Cahoon. The Java Olden benchmarks, www-ali.cs.umass.edu/~cahoon/olden.
8. W. Chin, F. Craciun, S. Qin, and M. Rinard. Region inference for an object-oriented language. In Proceedings of the SIGPLAN '04 Conference on Program Language Design and Implementation, Washington, DC, June 2004.
9. 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.
10. M. Christiansen and P. Velschow. Region-based memory management in Java. Master's thesis, DIKU, University of Copenhagen, May 1998.
11. M. Deters and R. Cytron. Automated discovery of scoped memory regions for Real-Time Java. In Proceedings of the 2004 International Symposium on Memory Management, Berlin, Germany, June 2002.
12. D. Gay and A. Aiken. Memory management with explicit regions. In Proceedings of the SIGPLAN '98 Conference on Program Language Design and Implementation, Montreal, Canada, June 1998.
13. D. Gay and A. Aiken. Language support for regions. In Proceedings of the SIGPLAN '01 Conference on Program Language Design and Implementation, Snowbird, UT, June 2001.
14. D. Gay and B. Steensgaard. Fast escape analysis and stack allocation for object-based programs. In Proceedings of the 2000 International Conference on Compiler Construction, Berlin, Germany, April 2000.
15. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in Cyclone. In Proceedings of the SIGPLAN '02 Conference on Program Language Design and Implementation, Berlin, Germany, June 2002.
16. F. Henglein, H. Makholm, and H. Niss. A direct approach to control-flow sensitive region-based memory management. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and Practice of Declarative Programming, Florence, Italy, September 2001.
17. C. Lattner and V. Adve. Automatic pool allocation for disjoint data structures. In Proceedings of The Workshop on Memory Systems Performance, Berlin, Germany, June 2002.
18. D. Liang and M.J. Harrold. Efficient points-to analysis for whole-program analysis. In Proceedings of the ACM SIGSOFT '99 Symposium on the Foundations of Software Engineering, Toulouse,France, September 1999.
19. F. Qian and L. Hendren. An adaptive, region-based allocator for Java. In Proceedings of the 2004 International Symposium on Memory Management, Berlin, Germany, June 2002.
20. R. Rugina and S. Cherem. Region analysis for imperative programs. Technical Report CS TR2003-1914, Cornell University, October 2003.
21. A. Salcianu and M. Rinard. Pointer and escape analysis for multithreaded programs. In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Snowbird, Utah, June 2001.
22. 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.
23. M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value lambda-calculus using a stack of regions. In Proceedings of the 21st Annual ACM Symposium on the Principles of Programming Languages, Portland, OR, January 1994.
24. R. Vallee-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java optimization framework. In CASCON '99, Toronto, Canada, November 1999.
25. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.
26. Tim Wilkinson. Kaffe - a free Java virtual machine, http://www.kaffe.org