Array bounds check elimination for the Java HotSpot client compiler - Thomas Würthinger; Christian Wimmer; Hanspeter Mössenböck; The Pennsylvania State University CiteSeerX Archives (http://www.ssw.uni-linz.ac.at/Research/Papers/Wuerthinger07/Wuerthinger07.pdf, 2007)