Atanas Rountev Scott Kagan Thomas J. Marlowe Interprocedural Dataflow Analysis in the Presence of Large Libraries. 2-16 2006 conf/cc/2006 CC http://dx.doi.org/10.1007/11688839_2 db/conf/cc/cc2006.html#RountevKM06