Yizhuo Zhai

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Static Analysis

Top Venues

USENIX Security Symposium

ESEC/SIGSOFT FSE

Proc. ACM Program. Lang.

Publications

Yizhuo Zhai, Zhiyun Qian, Chengyu Song, Manu Sridharan, Trent Jaeger, Paul L. Yu, Srikanth V. Krishnamurthy
Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks. USENIX Security Symposium (2024)
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Zheng Zhang, Yu Hao, Weiteng Chen, Xiaochen Zou, Xingyu Li, Haonan Li, Yizhuo Zhai, Zhiyun Qian, Billy Lau
SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities. USENIX Security Symposium (2024)
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models. CoRR (2023)
Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian
Assisting Static Analysis with Large Language Models: A ChatGPT Experiment. ESEC/SIGSOFT FSE (2023)
Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul L. Yu
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel. NDSS (2022)
Hang Zhang, Weiteng Chen, Yu Hao, Guoren Li, Yizhuo Zhai, Xiaochen Zou, Zhiyun Qian
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels. CCS (2021)
Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul Yu
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. ESEC/SIGSOFT FSE (2020)