Geometric encoding: forging the high performance context sensitive points-to analysis for Java.

Xiao Xiao, Charles Zhang

Browse the full ISSTA paper archive.