David Bernstein Michael Rodeh Shmuel Sagiv Proving Safety of Speculative Load Instructions at Compile Time. 56-72 1992 conf/esop/1992 ESOP db/conf/esop/esop92.html#BernsteinRS92 http://dx.doi.org/10.1007/3-540-55253-7_4