A comprehensive approach to array bounds check elimination for Java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2304, Issue , 2002, Pages 325-341

  Qian, Feng ^a   Hendren, Laurie ^a   Verbrugge, Clark ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE;

ARRAY BOUNDS CHECK ELIMINATION; CONSTRAINT GRAPH; FIELD ANALYSIS; FLOW SENSITIVE; INTER-PROCEDURAL ANALYSIS; RECTANGULAR ARRAYS; VARIABLE CONSTRAINTS; VIRTUAL MACHINES;

PROGRAM COMPILERS;

EID: 84959045837     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45937-5_23     Document Type: Conference Paper

References (11)

1. R. Bodik, R. Gupta, and V. Sarkar. ABCD: Eliminating Array Bounds Checks on Demand. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation(PLDI), pages 321-333, Vancouver, BC, Canada, June 2000.
2. M. Cierniak and W. Li. Optimizing Java bytecodes. Concurrency, Practice and Experience, 9(6):427-444, 1997.
3. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. McGraw-Hill and MIT Press, 1990.
4. R. Gupta. A fresh look at optimizing array bound checking. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 272-282, White Plains, NY, June 1990.
5. R. Gupta. Optimizing array bound checks using flow analysis. ACM Letters on Programming Languages and Systems, 2(1-4):135-150, 1993.
6. S. Hoxey, F. Karim, B. Hay, and H. Warren, editors. The PowerPC Compiler Writer’s Guide. IBM Microelectronics Division, 1986.
7. V. Markstein, J. Cocke, and P. Markstein. Optimization of range checking. Proceedings of the SIGPLAN’82 Symposium on Compiler Construction, pages 114-119, June 1982.
8. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kauf-mann, 1997.
9. P. Pominville, F. Qian, R. Vallee-Rai, L. Hendren, and C. Verbrugge. A framework for optimizing java using attributes. In Proceedings of Compiler Construction, 2001, pages 334-554, 2001.
10. R. Shaham. Automatic removal of array memory leaks in Java. Master’s thesis, Tel-Aviv University, Tel-Aviv, Israel, September 1999. Available at http://www.math.tau.ac.il/~rans/thesis.zip.
11. R. Shaham, E. K. Kolodner, And M. Sagiv. Automatic removal of array memory leaks in java. In D. A. Watt, editor, Compiler Construction, 9th International Conference, volume 1781 of Lecture Notes in Computer Science, pages 50-66, Berlin, Germany, March 2000. Springer.