Learning heuristics for fast and precise Java points-to analysis - 정세훈, 鄭勢勳 (Graduate School, Korea University, 2020)