Kun Luo Manoj Franklin Shubhendu S. Mukherjee André Seznec Boosting SMT Performance by Speculation Control. 2 2001 conf/ipps/2001 IPDPS db/conf/ipps/ipdps2001.html#LuoFMS01