Profile picture

PhD Student

School of Computer Science and Engineering
The University of New South Wales

Sydney, Australia

https://github.com/JoelYYoung

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)
, , , ,
Multi-Stage On-Demand Program Slicing for Modular Analysis of Multi-Threaded Programs
ISSTA, 2026
, , , ,
Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
European Conference on Object-Oriented Programming, 2025.