Modeling and optimization of speculative threads | lit.salon