Subhajit Roy Y. N. Srikant The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. 304-323 2010 CC http://dx.doi.org/10.1007/978-3-642-11970-5_17 conf/cc/2010 db/conf/cc/cc2010.html#RoyS10