Unification-based pointer analysis with directional assignments.

Manuvir Das

Browse the full PLDI paper archive.