Nevin Heintze Olivier Tardieu Demand-Driven Pointer Analysis. 24-34 2001 PLDI db/conf/pldi/pldi2001.html#HeintzeT01