Yuxiang Lei
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2022–2024
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2024
on a stage with
all 7 in the filters
who talks about the same things
- Yulei Sui8 talks
- Qirun Zhang16 talks
- Jingling Xue13 talks
- Jie Lu3 talks
- Dongjie He3 talks
- Haofeng Li2 talks
| title | conference | date |
|---|---|---|
| Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability | OOPSLA 2024 | 2024-10-20 |
An iterative-epoch framework identifies grammar transitive symbols and collapses on-the-fly cycles in CFL-reachability graphs, reducing worklist blowup and… | ||
| Context-Free Language Reachability via Skewed Tabulation | PLDI 2024 | 2024-06-24 |
Proposes skewed tabulation that rewrites grammars and treats certain summary edges as propagating edges so the solver avoids generating intermediary summary… | ||
| Recursive State Machine Guided Graph Folding for Context-Free Language Reachability | PLDI 2023 | 2023-06-17 |
An algorithm called graph folding GF identifies adjacent node pairs that are provably removable for CFL‑reachability by examining only their incoming and… | ||
| Taming Transitive Redundancy for Context-Free Language Reachability | OOPSLA 2022 | 2022-12-05 |
CFL-reachability uses on-the-fly edge derivation; this work introduces POCR running on a hybrid spanning-tree + adjacency-list representation to enforce a… | ||
| nothing matches | ||