Yue Li Tian  Tan Anders Møller Yannis  Smaragdakis, Precision-guided context sensitivity for pointer analysis, PACM/PL, (2), 141:1-141:29, 2018, Association for Computing Machinery (ACM), 2475-1421