Feng Qian, Laurie Hendren, Clark Verbrugge  Home/Search
Context
Related
| ucsb.edu/~ckrintz/...paper20021.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucsb.edu/~ckrintz/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper reports on a comprehensive approach to eliminating array bounds checks in Java. Our approach is based upon three analyses. The rst analysis is a ow-sensitive intraprocedural analysis called variable constraint analysis (VCA). This analysis builds a small constraint graph for each important point in a method, and then uses the information encoded in the graph to infer the relationship between array index expressions and the bounds of the array. Using VCA as the base analysis,... (Update)
Similar documents based on text: More All
0.6: A Framework for Optimizing Java Using Attributes - Pominville, Qian, Vall (2000) (Correct)
0.4: Generalized Constant Propagation A Study in C - Verbrugge, Co, Hendren (1996) (Correct)
0.4: Points-to Analysis using BDDs - Berndl, Lhoták, Qian.. (2003) (Correct)
BibTeX entry: (Update)
@inproceedings{ qian02comprehensive,
author = "Feng Qian and Laurie J. Hendren and Clark Verbrugge",
title = "A Comprehensive Approach to Array Bounds Check Elimination for Java",
booktitle = "Computational Complexity",
pages = "325-342",
year = "2002",
url = "citeseer.ist.psu.edu/qian02comprehensive.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
292 Advanced Compiler Design and Implementation (context) - Muchnick - 1997
50 A fresh look at optimizing array bound checking (context) - Gupta - 1990
43 ABCD: Eliminating Array Bounds Checks on Demand - Bodik, Gupta et al. - 2000
32 Optimization of range checking (context) - Markstein, Cocke et al. - 1982
22 A framework for optimizing java using attributes - Pominville, Qian et al. - 2001
13 Optimizing array bound checks using ow analysis (context) - Gupta - 1993
12 Optimizing Java bytecodes - Cierniak, Li - 1997
5 Automatic removal of array memory leaks in java - Shaham, Kolodner et al. - 2000
5 Automatic removal of array memory leaks in Java - Shaham - 1999
2 The PowerPC Compiler Writer's Guide (context) - Hoxey, Karim et al. - 1986
Documents on the same site (http://www.cs.ucsb.edu/~ckrintz/papers/): More
NWSLite: A Non-Parametric Prediction Utility for.. - Gurun, Krintz, Wolski (Correct)
Efficient Representation and Validation of Proofs - Necula, Lee (1998) (Correct)
A Machine Learning Approach to Automatic Production of.. - Monsifrot, Bodin.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC