Semi-sparse flow-sensitive pointer analysis.

Ben Hardekopf, Calvin Lin

Browse the full POPL paper archive.