@techreport{rountev-tr01, author = "Atanas Rountev and Scott Kagan and Thomas Marlowe", title = "Interprocedural Dataflow Analysis in the Presence of Large Libraries", institution = "Ohio State University", number = "OSU-CISRC-1/06-TR01", year = 2006, month = jan }