Haofeng Li
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
all 5 in the filters
who talks about the same things
- Chenghang Shi2 talks
- Jie Lu3 talks
- Dongjie He3 talks
- Jingling Xue13 talks
- Yulei Sui8 talks
- Qirun Zhang16 talks
| title | conference | date |
|---|---|---|
| Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification | OOPSLA 2025 | 2025-10-16 |
MoYe is a regularization-based graph simplification that prunes edges that cannot lie on any CFL-reachable source-to-sink path by over-approximating the… | ||
| Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment(…) | OOPSLA 2024 | 2024-10-20 |
Reinterprets access-path generation as a Context-Free Language and casts field sensitivity as an IDE problem, implements the idea in IDEDroid and compares it… | ||
| nothing matches | ||