雷宇翔，博士毕业于悉尼科技大学，2023-2024年于新南威尔士大学从事博后工作。

研究方向：程序语言（程序分析、形式化方法）。

• 程序分析：用一系列方法来预测或验证程序行为，判断程序能否按照预期执行。

• 形式化方法：将分析问题转化为数学模型，并基于数学逻辑对其进行推理验证。

教育工作经历

代表作

• 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++静态分析工具，曾获SAS2019，FSE2024杰出论文奖。

    POCR（https://github.com/kisslune/POCR），CFL-Reachability分析工具，曾获OOPSLA2022杰出工具奖。