Speculative disambiguation: a compilation technique for dynamic memory disambiguation | IEEE Conference Publication | IEEE Xplore