CHOP: Bypassing Runtime Bounds Checking Through Convex Hull OPtimization Academic Article uri icon