Approximating inclusion-based points-to analysis.

Rupesh Nasre

Browse the full PLDI paper archive.