Ben Hardekopf Calvin Lin The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. 290-299 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250767 db/conf/pldi/pldi2007.html#HardekopfL07