Yuxiang Lei

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Probabilistic Context Free Grammars

Top Venues

Proc. ACM Program. Lang.

Publications

Pei Xu, Yuxiang Lei, Yulei Sui, Jingling Xue
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Yuxiang Lei, Camille Bossut, Yulei Sui, Qirun Zhang
Context-Free Language Reachability via Skewed Tabulation. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang
Recursive State Machine Guided Graph Folding for Context-Free Language Reachability. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Yuxiang Lei, Yulei Sui, Shuo Ding, Qirun Zhang
Taming transitive redundancy for context-free language reachability. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Yuxiang Lei, Yulei Sui
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis. SAS (2019)