Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris: Speculative improvements to verifiable bounds check elimination. PPPJ 2008: 85-94