Andreas Gampe Jeffery von Ronne David Niedzielski Kleanthis Psarris Speculative improvements to verifiable bounds check elimination. 85-94 2008 PPPJ http://doi.acm.org/10.1145/1411732.1411745 conf/pppj/2008 db/conf/pppj/pppj2008.html#GampeRNP08