About Me
I am a 3rd year Ph.D candidate supervised by Prof. Jingling Xue at the School of Computer Science and Engineering, University of New South Wales. I received my Bachelor degree in Computer Engineering (Honours) at the University of New South Wales in 2023.
My research interests lie in program analysis and programming languages.
Education
PhD in Computer Science and Engineering, 2024 - Persent
University of New South Wales, AUS
Bachelor in Computer Engineering (Honours Class 1), 2019 - 2023
University of New South Wales, AUS
Publications
Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis.
40th European Conference on Object-Oriented Programming (ECOOP'26).
2026.
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust.
2026 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'26).
2026.
Leafeon: Towards Accurate Sensing of Leaf Water Content for Protected Cropping, with mmWave Radar.
IEEE Internet of Things Journal.
2025.
Soil moisture sensing with mmwave radar.
Proceedings of the 6th ACM Workshop on Millimeter-Wave and Terahertz Networks and Sensing Systems.
2022.