Linear-time Subtransitive Control Flow Analysis.

Nevin Heintze, David A. McAllester

Browse the full PLDI paper archive.