Manu Sridharan Rastislav Bodík Refinement-based context-sensitive points-to analysis for Java. 387-400 2006 conf/pldi/2006 PLDI http://doi.acm.org/10.1145/1133981.1134027 db/conf/pldi/pldi2006.html#SridharanB06