Yuxiang Lei

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.

Publications

Yuxiang Lei, Camille Bossut, Yulei Sui and Qirun Zhang. Context-Free Language Reachability via Skewed Tabulation. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2024.

Pei Xu, Yuxiang Lei*, Yulei Sui and Jingling Xue. Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2024. (Co-first author)

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)

Awards

SIPLAN 2022 Distinguished Artifact Award
Radhia Cousot Young Researcher Best Paper Award (2019)