Thomas Würthinger Christian Wimmer Hanspeter Mössenböck Array bounds check elimination for the Java HotSpot™ client compiler. 125-133 2007 conf/pppj/2007 PPPJ http://doi.acm.org/10.1145/1294325.1294343 db/conf/pppj/pppj2007.html#WurthingerWM07