A Relational Static Semantics for Call Graph Construction. - Xilong Zhuo; Chenyi Zhang 001 (ICFEM, 2019)

TFA: an efficient and precise virtual method call resolution for Java. - Xilong Zhuo; Chenyi Zhang 001 (Formal Aspects Comput., 2020)

Parameter Sensitive Pointer Analysis for Java. - Yulin Bao; Chenyi Zhang 001; Xilong Zhuo; Yongliang Wang (ICECCS, 2022)