I am a PhD student of Programming Languages and Software Engineering at School of Computer Science, University of Technology Sydney, supervised by Yulei Sui. My research interest includes Program Analysis, Software Security and application of Machine Learning in the above fields. I am now working with the open-source Pointer Analysis and Program Depedence Analysis Tool SVF.
Yuxiang Lei and Yulei Sui. Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis. 26th International Static Analysis Symposium (Radhia Cousot Young Researcher Best Paper Award)