I am a postdoctoral research associate at the School of Computer Science and Engineering, University of New South Wales. My research interest includes formal language, automata theory, evolutionary computation and their applications in program analysis and software security. I am now working with the open-source pointer analysis and program depedence analysis tool SVF and the open-source CFL-reachability analysis tool POCR.
Yuxiang Lei, Yulei Sui, Shin Hwei Tan and Qirun Zhang. Recursive State Machine Guided Graph Folding for Context-Free Language Reachability. Proceedings of the ACM on Programming Languages 7. PLDI (2023): 318–342.
Yuxiang Lei, Yulei Sui, Shuo Ding and Qirun Zhang. Taming Transitive Redundancy for Context-Free Language Reachability. Proceedings of the ACM on Programming Languages 6. OOPSLA2 (2022): 1556-1582. (SIPLAN 2022 Distinguished Artifact Award)
Yuxiang Lei and Yulei Sui. Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis. 26th International Static Analysis Symposium (2019). (Radhia Cousot Young Researcher Best Paper Award)
2022: SIPLAN 2022 Distinguished Artifact Award
2019: Radhia Cousot Young Researcher Best Paper Award