Qingkai Shi
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA4 editions2021–2025
on a stage with
all 20 in the filters
who talks about the same things
- Xizhe Yin3 talks
- Shaohua Li5 talks
- Yunbo Ni3 talks
- Zhendong Su25 talks
- Xiangzhe Xu2 talks
- Yu Jiang21 talks
| title | conference | date |
|---|---|---|
| An Empirical Study of Bugs in the rustc Compiler | OOPSLA 2025 | 2025-10-16 |
Analysis of 301 rustc issues from 2022–2024 shows concrete fault patterns: about 30% root in the type system, ~15% in ownership, ~15% from MIR optimizations… | ||
| ParDiff: Practical Static Differential Analysis of Network Protocol Parsers | OOPSLA 2024 | 2024-10-20 |
ParDiff statically extracts protocol-format constraints from C implementations, extracts finite-state machines ordered by buffer indices, and uses bisimulation… | ||
| Complexity-guided container replacement synthesis | OOPSLA 2022 | 2022-12-05 |
Cres automatically synthesizes container-type replacements using static, allocation-based and flow-sensitive points-to analysis to collect container properties… | ||
| Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis | OOPSLA 2022 | 2022-12-05 |
This paper presents a cheap reduction that transforms extended Dyck-CFL reachability to conventional graph reachability, builds a two-copy indexed graph with… | ||
| Program Analysis via Efficient Symbolic Abstraction | OOPSLA 2021 | 2021-10-17 |
Two algorithms compute most-precise abstractions for quantifier-free bit-vector formulas over the interval and a convex polyhedral-like domain, using… | ||
| nothing matches | ||