Dongjie He
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
- Jingling Xue3×
- Changwei Zouonce
- Chenghang Shionce
all 11 in the filters
who talks about the same things
- Jie Lu3 talks
- Chenghang Shi2 talks
- Haofeng Li2 talks
- Jingling Xue13 talks
- Yulei Sui8 talks
- Xuandong Li4 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… | ||
| A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitiv... | OOPSLA 2023 | 2023-10-23 |
A new preanalysis called DebloaterX uses three container-usage patterns and a limited field sensitive DFA to mark container objects as context dependent or… | ||
| Selective Context-Sensitivity for k-CFA with CFL-Reachability | SAS 2021 | 2021-10-17 |
Presents a concrete method that uses CFL-reachability pre-analysis to decide which program nodes need k-CFA context-sensitivity, builds a fast verifier that… | ||
| nothing matches | ||