Kirk Kelsey Chengliang Zhang Chen Ding Fast Track: Supporting Unsafe Optimizations with Software Speculation. 414 2007 PACT http://doi.ieeecomputersociety.org/10.1109/PACT.2007.35 conf/IEEEpact/2007 db/conf/IEEEpact/IEEEpact2007.html#KelseyZD07