Rastislav Bodík Rajiv Gupta Vivek Sarkar ABCD: eliminating array bounds checks on demand. 321-333 2000 conf/pldi/2000 PLDI http://doi.acm.org/10.1145/349299.349342 db/conf/pldi/pldi2000.html#BodikGS00