Mikel Luján John R. Gurd T. L. Freeman José Miguel-Alonso Elimination of Java array bounds checks in the presence of indirection. 76-85 2002 conf/java/2002 Java Grande https://doi.org/10.1145/583810.583819 db/conf/java/java2002.html#LujanLGFM02