Yizhuo Zhai

According to our database, Yizhuo Zhai authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian

Proc. ACM Program. Lang., 2024

SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities.

Zheng Zhang, Yu Hao, Weiteng Chen, Xiaochen Zou, Xingyu Li, Haonan Li, Yizhuo Zhai, Zhiyun Qian, Billy Lau

Proceedings of the 33rd USENIX Security Symposium, 2024

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

Proceedings of the 33rd USENIX Security Symposium, 2024

2023

Preventing the Memory Errors in the Large-Scale C/C++ Software

Yizhuo Zhai

PhD thesis, 2023

The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models.

Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian

CoRR, 2023

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

Haonan Li, Yu Hao, Yizhuo Zhai, Zhiyun Qian

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel.

Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Manu Sridharan, Srikanth V. Krishnamurthy, Trent Jaeger, Paul L. Yu

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

2021

Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels.

Hang Zhang, Weiteng Chen, Yu Hao, Guoren Li, Yizhuo Zhai, Xiaochen Zou, Zhiyun Qian

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel.

Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul L. Yu

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020