Login / Signup
Yuxiang Lei
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Probabilistic Context Free Grammars
Graph Grammars
Tree Languages
State Machine
Top Venues
Proc. ACM Program. Lang.
SAS
</>
Publications
</>
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)