Disjoint eager execution: an optimal form of speculative execution | IEEE Conference Publication | IEEE Xplore