Yuanbo Li
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL3 editions2021–2023
on a stage with
- Qirun Zhang3×
- Thomas Reps2×
- Kris Satyaonce
who talks about the same things
- Qirun Zhang16 talks
- Krishna Shankaranarayanan4 talks
- Yulei Sui8 talks
- Yuxiang Lei4 talks
- Guannan Wei21 talks
- Zhenjiang Hu15 talks
| title | conference | date |
|---|---|---|
| Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Pro... | POPL 2023 | 2023-01-15 |
Presents a single-source–single-target algorithm that summarizes all source→target paths as path expressions and reduces InterDyck reachability to a… | ||
| Efficient Algorithms for Dynamic Bidirected Dyck-Reachability | POPL 2022 | 2022-01-16 |
Presents a dynamic algorithm that maintains all-pairs bidirected Dyck-reachability with O(n α(n)) update time per edge and O(1) queries, using a merged-graph… | ||
| On the Complexity of Bidirected Interleaved Dyck-Reachability | POPL 2021 | 2021-01-17 |
Shows that bidirected InterDyck reachability is decidable for D1 ⊙ D1 and gives a concrete polynomial-time algorithm that computes all pairs reachable by… | ||
| nothing matches | ||