ABCD: eliminating array bounds checks on demand. (2000)

by R Bodik, R Gupta, V Sarkar
Venue:In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI),