Bio
I am a second-year MPhil student under the supervision of Prof. Xiapu Luo. 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#,
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.