Shaohua Li
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA2 editions2023–2025
on a stage with
- Zhendong Su3×
- Yunbo Ni2×
- Baowen Xuonce
all 13 in the filters
who talks about the same things
- Yunbo Ni3 talks
- Zhendong Su25 talks
- Qingkai Shi5 talks
- Yu Jiang21 talks
- Shanshan Li2 talks
- Xizhe Yin3 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… | ||
| Interleaving Large Language Models for Compiler Testing | OOPSLA 2025 | 2025-10-16 |
A two‑phase framework decouples expensive LLM use: an offline database of 500,000 validated functions generated and profiled by LLMs, and an online composition… | ||
| Optimizing Input Minimization in Kernel Fuzzing | USENIX ATC '25 | 2025-07-07 |
Introduces SyzMini, a Syzkaller patch that implements influence-guided call removal and type-informed argument simplification to cut minimization executions… | ||
| Boosting Compiler Testing by Injecting Real-World Code | PLDI 2024 | 2024-06-24 |
Tool Creal injects real-world functions into Csmith-generated seeds, extracting 50,000 functions from 100+ popular GitHub projects, inferring input/output… | ||
| Accelerating Fuzzing through Prefix-Guided Execution | OOPSLA 2023 | 2023-10-23 |
Introduces prefix-guided execution that monitors a test's partial run (a sequence of basic block IDs) and applies early termination when the prefix is already… | ||
| nothing matches | ||