Kalyan S. Perumalla, Mohammed M. Olama, Srikanth B. Yoginath: Model-based Dynamic Control of Speculative Forays in Parallel Computation. PASM 2016: 93-107