Publications

Papers, manuscripts, and selected research artifacts.

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

A preprint in the Hitchhiker's Guide to Program Analysis series on practical bug detection and LLM-assisted reasoning for systems software.

arXiv · Preprint · 2026

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

A comparative-analysis pipeline for using LLMs in bug bisection.

NDSS · 2026

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

A profiling-guided framework for automated Triton kernel optimization.

LLM4Code · 2026

Haonan Li, Hang Zhang, Kexin Pei, Zhiyun Qian

BugLens guides LLMs through structured reasoning steps to post-refine taint-style static analysis reports in the Linux kernel.

ASE · 2025

Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian

LLift integrates LLMs with static analysis to improve practical bug detection in large codebases such as the Linux kernel.

OOPSLA · 2024

Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian

An early experiment exploring how large language models can assist static analysis.

ESEC/FSE IVR · Short paper · 2023

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

A memory-management design for RISC-V enclaves.

HASP · 2021