A Probabilistic Pointer Analysis for Speculative Optimizations Jeff DaSilva Greg Steffan Electrical and Computer Engineering University of Toronto ASPLOS XII Pointers Impede…