The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code.

Ben Hardekopf, Calvin Lin

Browse the full PLDI paper archive.