PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning | IEEE Conference Publication | IEEE Xplore