MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Preprint Series CSPP-13 Elimination of Java Array Bounds Checks in the Presence of Indirection

Download:
pdf | ps
by John R. Gurd, John R. Gurd, T. L. Freeman, T. L. Freeman, Jose Miguel, Jose Miguel
http://www.cs.man.ac.uk/~lujanmx/research/docs/lujan2002b.ps
Add To MetaCart

Abstract:

yz

Citations

3620 Design Patterns. Elements of Reusable Object-Oriented Software – Gamma, Helm, et al. - 1998
1143 Matrix Computations – Golub, Loan - 1989
226 The Jalepeño virtual machine – Alpern, Attanasio, et al. - 2000
216 The design and implementation of a certifying compiler – Necula, Lee - 1998
175 Compositional pointer and escape analysis for Java programs – Whaley, Rinard - 1999
141 Eliminating Array Bound Checking Through Dependent Types – Xi, Pfenning - 1998
127 Concurrent Programming in Java – Design Principles and Patterns – Lea - 1996
125 Object Oriented Software Construction – Meyer - 1997
101 Practicing JUDO: Java under dynamic optimizations – Cierniak, Lueh, et al. - 2000
86 Eliminating array bounds checks on demand – Bodik, Gupta, et al. - 2002
80 Escape analysis for object oriented languages. Application to Java – Blanchet - 1999
78 Symbolic bounds analysis of pointers, array indices, and accessed memory regions – Rugina, Rinard - 2005
63 Elimination of redundant array subscript range checks – Kolte, Wolfe - 1995
59 A fresh look at optimizing array bound checking – Gupta - 1990
58 K.: Implementation of an array bound checker – Suzuki, Ishihata - 1977
47 Optimization of range checking – Markstein, Cocke, et al. - 1982
44 The Java HotSpot server compiler – Paleczny, Vick, et al. - 2001
41 Safety checking of machine code – Xu, Miller, et al. - 2000
38 Benchmarking Java against C and Fortran for Scientific Applications – Bull, Smith, et al. - 2001
34 Quicksilver: a quasi-static compiler for Java – Serrano, Bordawekar, et al. - 2000
26 Field analysis: getting useful and lowcost interprocedural information – Ghemawat, Randall, et al. - 2000
26 Optimizing array reference checking in Java programs – Midkiff, Moreira, et al. - 1998
20 The Java Language Speci cation. The Java Series – Gosling, Joy, et al. - 1996
15 The Java Virtual Machine Speci The Java Series – Lindholm, Yellin - 1999
11 Techniques for obtaining high performance in java programs – Kazi, Chen, et al.
10 Java and numerical computing – Boisvert, Moreira, et al. - 1997
10 A standard Java array package for technical computing – Moreira, Midki, et al. - 1999
9 Frequency analysis – Randall - 1987
9 Optimizing array bound checks using analysis – Gupta - 1993
9 OoLaLa: an object oriented analysis and design of numerical linear algebra – Luján, Freeman, et al. - 2000
9 Improving Java performance through semantic inlining – Wu, Midki, et al. - 1998
6 A reexamination of ”optimization of array subscript range checks – Chin, Goh - 1995
6 Java at middle age: Enabling Java for computational science – Thiruvathukal - 2002
5 Java 2 Platform Security Architecture – Gong - 1998
5 Object oriented linear algebra – Lujan - 1999
5 and Ulrik Pagh Schultz. Harissa: a hybrid approach to Java execution – Muller - 1999
3 Optimization of array subscript range – Asuru - 1992
3 Removing unnecessary synchronization – Bogda, Hölzle - 1999
2 The Java Grande Forum benchmark suite – EPCC - 2000
2 Numerical Methods: A Sofware Approach – Johnston - 1982
2 Optimizing native compiler for java technology. http://www.instantiations.com/jove – Jove - 2000
1 Compiler transformations for optimizing oolala – Lujan, Freeman, et al. - 2002
1 OoLaLa: Transformations for implementations of matrix operations at high abstracion levels – Lujan, Freeman, et al. - 2002
1 From to mega Java for technical computing. ACM Transactions on Programming Languages and Systems – Moreira, Midki, et al. - 2000
1 Scimark 2.0. http://math.nist.gov/scimark2/. [PTH + 97 – Pozo, Miller - 1997