Qiong Cai Jingling Xue Optimal and Efficient Speculation-Based Partial Redundancy Elimination. 91-104 2003 conf/cgo/2003 CGO http://csdl.computer.org/comp/proceedings/cgo/2003/1913/00/19130091abs.htm db/conf/cgo/cgo2003.html#CaiX03