Demand-driven points-to analysis for Java. - Manu Sridharan; Denis Gopan; Lexin Shan; Rastislav Bodík (OOPSLA, 2005)