Efficient and Effective Array Bound Checking. - Nguyen, Thi Viet; Irigoin, François (ACM Transactions on Programming Languages & Systems, 2005)