雷宇翔，助理教授，广东省青年人才。博士毕业于悉尼科技大学，2023-2024年于新南威尔士大学从事博后工作。主持国家自然科学基金项目1项，广东省项目1项。

研究方向：

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

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

• 智能软件工程：让人工智能服务于软件设计、开发及维护周期。

教育工作经历

代表作

• 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.

• Jiahao Zhang, Xiao Cheng, and Yuxiang Lei*. "Flow sensitivity without control flow graph: An efficient Andersen-style flow-sensitive pointer analysis." Journals of Systems and Software (2026): 113027.

项目

SVF（https://github.com/SVF-tools/SVF），C/C++静态分析工具，曾获SAS2019，FSE2024杰出论文奖。

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