Yuxiang Lei

According to our database, Yuxiang Lei authored at least 3 papers between 2019 and 2023.

Collaborative distances:

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

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