A probabilistic pointer analysis for speculative optimizations. - Jeff Da Silva; J. Gregory Steffan (ASPLOS, 2006)