Yuxiang Lei

According to our database, Yuxiang Lei authored at least 6 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis.

Jiahao Zhang, Xiao Cheng, Yuxiang Lei

CoRR, August, 2025

2024

Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability.

Pei Xu, Yuxiang Lei, Yulei Sui, Jingling Xue

Proc. ACM Program. Lang., 2024

Context-Free Language Reachability via Skewed Tabulation.

Yuxiang Lei, Camille Bossut, Yulei Sui, Qirun Zhang

Proc. ACM Program. Lang., 2024

2023

Recursive State Machine Guided Graph Folding for Context-Free Language Reachability.

Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang

Proc. ACM Program. Lang., 2023

2022

Taming transitive redundancy for context-free language reachability.

Yuxiang Lei, Yulei Sui, Shuo Ding, Qirun Zhang

Proc. ACM Program. Lang., 2022

2019

Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis.

Yuxiang Lei, Yulei Sui

Proceedings of the Static Analysis - 26th International Symposium, 2019