"Safe, multiphase bounds check elimination in Java."

Andreas Gampe et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics