Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second.

Nevin Heintze, Olivier Tardieu

Browse the full PLDI paper archive.