雷宇翔，博士毕业于悉尼科技大学，博后出站于新南威尔士大学。长期从事程序语言、形式化方法、程序分析和编译理论方向的研究。成果发表于相关领域顶会如PLDI, OOPSLA, SAS等。

教育工作经历

代表作

• Yuxiang Lei, Camille Bossut, Yulei Sui and Qirun Zhang, “Context-free language reachability via skewed tabulation”, Proceedings of the ACM on Programming Languages, vol. 8, PLDI 2024.

• Pei Xu, Yuxiang Lei*, Yulei Sui and Jingling Xue, “Iterative-epoch online cycle elimination for context-free language reachability”, Proceedings of the ACM on Programming Languages, vol. 8, pp. 1437–1462, OOPSLA1, 2024. （共同第一作者）

• 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, vol. 7, pp.318–342, PLDI 2023.

• Yuxiang Lei, Yulei Sui, Shuo Ding and Qirun Zhang, “Taming transitive redundancy for context-free language reachability”, Proceedings of the ACM on Programming Languages, vol. 6, pp. 1556–1582, OOPSLA2 2022.

• Yuxiang Lei and Yulei Sui, “Fast and precise handling of positive-weight cycles for field-sensitive pointer analysis”, Static Analysis: 26th International Symposium, SAS 2019.

开源项目

SVF（https://github.com/SVF-tools/SVF），C/C++静态分析工具

    POCR（https://github.com/kisslune/POCR），CFL-Reachability分析工具