Title: A probabilistic pointer analysis for speculative optimizations
First published: 2006