Instance-wise points-to analysis for loop-based dependence testingPeng WuPaul Feautrieret al.2002ACM/IEEE SC 2002