Registered user since Mon 1 Apr 2019
He is a third-year Ph.D. student under the supervision of Prof. Jingling Xue. His research interest lies in programming language and software engineering. His current research focuses on static program analysis of object-oriented languages (e.g., Java pointer analysis).
|SAS 2021||Selective Context-Sensitivity for k-CFA with CFL-Reachability|
|Show activities from other conferences|
View general profile