Mikel Luján John R. Gurd T. L. Freeman José Miguel-Alonso Elimination of Java array bounds checks in the presence of indirection. 489-514 2005 17 Concurrency - Practice and Experience 5-6 http://dx.doi.org/10.1002/cpe.847 db/journals/concurrency/concurrency17.html#LujanGFM05