A practical and precise inference and specializer for array bound checks elimination - Popeea, C. (2013)
10.1145/1328408.1328434