SIMBER: Eliminating Redundant Memory Bound Checks via Statistical Inference Conference Paper uri icon