Xilong Zhuo

According to our database, Xilong Zhuo authored at least 3 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Parameter Sensitive Pointer Analysis for Java.

Yulin Bao, Chenyi Zhang, Xilong Zhuo, Yongliang Wang

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

2020

TFA: an efficient and precise virtual method call resolution for Java.

Xilong Zhuo, Chenyi Zhang

Formal Aspects Comput., 2020

2019

A Relational Static Semantics for Call Graph Construction.

Xilong Zhuo, Chenyi Zhang

Proceedings of the Formal Methods and Software Engineering, 2019