Reactive techniques for controlling software speculation | IEEE Conference Publication | IEEE Xplore