Atanas Rountev Satish Chandra Off-line variable substitution for scaling points-to analysis. 47-56 2000 PLDI http://doi.acm.org/10.1145/349299.349310 db/conf/pldi/pldi2000.html#RouhtevC00