Eliminating partially-redundant array-bounds check in the Android Dalvik JIT compiler. - Javed Absar; Deepak Shekhar (PPPJ, 2011)