ABCD: Eliminating array bounds checks on demand (2000)

by R Bodik, R Gupta, V Sarkar
Venue:In SIGPLAN PLDI’00