UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. - Yizhuo Zhai; Yu Hao 006; Hang Zhang 012; Daimeng Wang; Chengyu Song; Zhiyun Qian; Mohsen Lesani; Srikanth V. Krishnamurthy; Paul L. Yu (ESEC/SIGSOFT FSE, 2020)

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels. - Hang Zhang 012; Weiteng Chen; Yu Hao 006; Guoren Li; Yizhuo Zhai; Xiaochen Zou; Zhiyun Qian (CCS, 2021)

Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel. - Yizhuo Zhai; Yu Hao 006; Zheng Zhang; Weiteng Chen; Guoren Li; Zhiyun Qian; Chengyu Song; Manu Sridharan; Srikanth V. Krishnamurthy; Trent Jaeger; Paul L. Yu (NDSS, 2022)

Assisting Static Analysis with Large Language Models: A ChatGPT Experiment. - Haonan Li; Yu Hao 006; Yizhuo Zhai; Zhiyun Qian (ESEC/SIGSOFT FSE, 2023)

The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models. - Haonan Li; Yu Hao 006; Yizhuo Zhai; Zhiyun Qian (CoRR, 2023)

Preventing the Memory Errors in the Large-Scale C/C++ Software - Yizhuo Zhai (2023)

Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks. - Yizhuo Zhai; Zhiyun Qian; Chengyu Song; Manu Sridharan; Trent Jaeger; Paul L. Yu; Srikanth V. Krishnamurthy (USENIX Security Symposium, 2024)

SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities. - Zheng Zhang; Yu Hao 006; Weiteng Chen; Xiaochen Zou; Xingyu Li; Haonan Li; Yizhuo Zhai; Zhiyun Qian; Billy Lau (USENIX Security Symposium, 2024)

Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach. - Haonan Li; Yu Hao 006; Yizhuo Zhai; Zhiyun Qian (Proc. ACM Program. Lang., 2024)

Rug: Turbo Llm for Rust Unit Test Generation. - Xiang Cheng; Fan Sang; Yizhuo Zhai; Xiaokuan Zhang; Taesoo Kim (ICSE, 2025)