About me: Haonan Li
I am a PhD student (3rd 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, I focus on using LLM for program analysis.
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- 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)