Manu Sridharan Denis Gopan Lexin Shan Rastislav Bodík Demand-driven points-to analysis for Java. 59-76 2005 conf/oopsla/2005 OOPSLA http://doi.acm.org/10.1145/1094811.1094817 db/conf/oopsla/oopsla2005.html#SridharanGSB05