Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis. - Yuxiang Lei; Yulei Sui (SAS, 2019)

Taming transitive redundancy for context-free language reachability. - Yuxiang Lei; Yulei Sui; Shuo Ding; Qirun Zhang (Proc. ACM Program. Lang., 2022)

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)

Context-Free Language Reachability via Skewed Tabulation. - Yuxiang Lei; Camille Bossut; Yulei Sui; Qirun Zhang (Proc. ACM Program. Lang., 2024)

Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability. - Pei Xu; Yuxiang Lei; Yulei Sui; Jingling Xue (Proc. ACM Program. Lang., 2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis. - Jiahao Zhang; Xiao Cheng; Yuxiang Lei (CoRR, 2025)