Hardekopf, B., Lin, C.,
"The ant and the grasshopper: Fast and accurate pointer analysis for millions of lines of code",
PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, San Diego, California, USA, June 2007, ACM SIGPLAN, ACM SIGSOFT, pp. 290-299.
Google