Tian Tan 0001, Yue Li 0006, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis. Making pointer analysis more precise by unleashing the power of selective context sensitivity. Proceedings of the ACM on Programming Languages, 5(ICFP):1-27, 2021. [doi]
Abstract is missing.