About me: Haonan Li
I am a PhD student (4th year), majored in CS, advised by Prof. Zhiyun Qian at UC Riverside. I am interested in program analysis, system security, and LLM (Large Language Models). Currently, my research focuses on combining program analysis techniques with LLMs for real-world software systems.
I have interned at Meta (Summer 2025) as a Software Engineer Intern, working on model efficiency. I am currently continuing my internship at Meta (Fall 2025) as a part-time researcher.
Before PhD study, I got my bachelor degree in CS from SUSTech, Shenzhen, China, and spent one more year in SUSTech as a research assistant, working with Prof. Fengwei Zhang.
Publications
Conference Paper- Towards More Accurate Static Analysis for Taint-style Bug Detection in Linux Kernel
Haonan Li, Hang Zhang, Kexin Pei, Zhiyun Qian
ASE, 2025 (to appear) [PREPRINT] - Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
OOPSLA, 2024 [SLIDES] [HOMEPAGE] [VIDEO] - Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
Idea, Vision and Reflection Track, with 4 pages
FSE (IVR), 2023 [SLIDES] [VIDEO] - A Novel Memory Management for RISC-V Enclaves
Haonan Li, Weijie Huang, Mingde Ren, Hongyi Lu, Zhenyu Ning, Heming Cui, Fengwei Zhang
HASP (Hardware and Architectural Support for Security and Privacy), 2021
- The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs
Haonan Li, Hang Zhang, Kexin Pei, Zhiyun Qian (2025 Apr)
- The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian (2023 Aug, Published as OOPSLA'24)