@inproceedings{rountev-cc06, author = "Atanas Rountev and Scott Kagan and Thomas Marlowe", title = "Interprocedural Dataflow Analysis in the Presence of Large Libraries", booktitle = "International Conference on Compiler Construction", pages = "2-16", series = "LNCS 3923", year = 2006 }