Safe, multiphase bounds check elimination in Java. - Andreas Gampe; Jeffery von Ronne; David Niedzielski; Jonathan Vasek; Kleanthis Psarris (Softw. Pract. Exp., 2011)