Path profile guided partial redundancy elimination using speculation | IEEE Conference Publication | IEEE Xplore