
Bio
I am a PhD student at the University of New South Wales (UNSW). My research focuses on static analysis, encompassing abstract interpretation, pointer analysis, binary analysis, and symbolic execution, as well as the applications of large language models in software engineering (LLM4SE). If our interests align, feel free to reach out—I always welcome engaging discussions and collaborations.
Publications
(# Equal contribution, * Corresponding author)Jiawei Yang,
Xiao Cheng*,
Jiawei Wang,
Xiapu Luo,
Yulei Sui
Multi-Stage On-Demand Program Slicing for Modular Analysis of Multi-Threaded Programs
Multi-Stage On-Demand Program Slicing for Modular Analysis of Multi-Threaded Programs
ISSTA, 2026
Jiawei Yang#,
Xiao Cheng#,
Bor-Yuh Evan Chang,
Xiapu Luo,
Yulei Sui
Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
European Conference on Object-Oriented Programming, 2025.