Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.

Guoqing Xu, Atanas Rountev

Browse the full ISSTA paper archive.