Yu Hao
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2020–2024
on a stage with
- Atanas Rountevonce
- Hailong Zhangonce
- Haonan Lionce
all 7 in the filters
who talks about the same things
- Yu Jiang21 talks
- Zhendong Su25 talks
- Zhiyun Qian7 talks
- Shaohua Li5 talks
- Yue Li10 talks
- Yu Wang16 talks
| title | conference | date |
|---|---|---|
| Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach | OOPSLA 2024 | 2024-10-20 |
A framework called LLift combines an existing static checker (UBTag) with iterative LLM queries to resolve UBTag’s 53k “undecided” paths, using post-constraint… | ||
| SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers | Linux Security Summit North America 2023 | 2023-05-10 |
A static analysis tool called SyzDescribe automatically generates Syzkaller‑compatible syscall descriptions for Linux kernel device drivers by modeling driver… | ||
| Differentially-Private Software Frequency Profiling under Linear Constraints | OOPSLA 2020 | 2020-11-15 |
Reformulates local differential privacy for frequency vectors that must satisfy software-specific linear inequalities and gives a concrete noise calibration… | ||
| nothing matches | ||