Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk).

Manuvir Das

Browse the full PEPM paper archive.