EagerMerge: an optimistic technique for efficient points-to analysis. - Sudhir Samrit; Rupesh Nasre (ISSTA, 2016)