Curriculum vitae

Haonan Li

PhD student in Computer Science · UC Riverside

Program Analysis · Systems Security · LLMs

Education

UC Riverside

Sep 2022 – Present

PhD in Computer Science

Advisor: Zhiyun Qian

SUSTech

Jun 2021

B.Eng. in Computer Science

Publications

  1. LLMBisect: Breaking Barriers in Bug Bisection with A Comparative Analysis Pipeline

    Zheng Zhang, Haonan Li, Xingyu Li, Hang Zhang, Zhiyun Qian.

    NDSS, 2026.

  2. TritonForge: Profiling-Guided Framework for Automated Triton Kernel Optimization

    Haonan Li, Keyu Man, Partha Kanuparthy, Hanning Chen, Wei Sun, Sreen Tallam, Chenguang Zhu, Kevin Zhu, Zhiyun Qian.

    LLM4Code, 2026.

  3. Towards More Accurate Static Analysis for Taint-style Bug Detection in Linux Kernel

    Haonan Li, Hang Zhang, Kexin Pei, Zhiyun Qian.

    ASE, 2025.

  4. Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach

    Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian.

    OOPSLA, 2024.

  5. Assisting Static Analysis with Large Language Models: A ChatGPT Experiment

    Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian.

    ESEC/FSE IVR, 2023. Short paper.

  6. A Novel Memory Management for RISC-V Enclaves

    Haonan Li, Weijie Huang, Mingde Ren, Hongyi Lu, Zhenyu Ning, Heming Cui, Fengwei Zhang.

    HASP, 2021.

Preprints

  1. The Hitchhiker's Guide to Program Analysis, Part III: Mostly Harmless LLMs

    Haonan Li, Tianyang Zhou, Manu Sridharan, Hang Zhang, Zhiyun Qian.

    arXiv, 2026. Preprint.

Honors & Fellowships

Dissertation Year Fellowship Award

2026

UC Riverside

Earle C. Anthony Graduate Student Travel Award

2026

UC Riverside

Teaching

CS 165: Computer Security

Spring 2025

Teaching Assistant · UC Riverside

Invited Talks

LLM-Enhanced Static Analysis for Practical Bug Detection

2025–2026
  • UMass Amherst
  • Northeastern University
  • HKUST

Presentations

LLM Agents as Untrusted Program Components

Oct 2026

LMPL 2026 (SPLASH/ISSTA)

Toward Principled LLM Assistance for Static Analysis

Oct 2026

SPLASH/ISSTA 2026 Doctoral Symposium

Academic Service

Conferences

  • SANER (2027)
  • MSR (2027)
  • AGENT (2027)
  • LLM4Code (2026, 2027)
  • ACM AI Summit (2026)
  • AIWare (2026)

Journals

  • ACM TOSEM
  • FITEE
  • SoftwareX