Elimination of Redundant Array Subscript Range Checks.

Priyadarshan Kolte, Michael Wolfe

Browse the full PLDI paper archive.