Follow
Yizhuo Zhai
Title
Cited by
Cited by
Year
The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models
H Li, Y Hao, Y Zhai, Z Qian
arXiv preprint arXiv:2308.00245, 2023
182023
Statically discovering high-order taint style vulnerabilities in os kernels
H Zhang, W Chen, Y Hao, G Li, Y Zhai, X Zou, Z Qian
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
182021
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel
Y Zhai, Y Hao, H Zhang, D Wang, C Song, Z Qian, M Lesani, ...
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
162020
Progressive scrutiny: Incremental detection of ubi bugs in the linux kernel
Y Zhai, Y Hao, Z Zhang, W Chen, G Li, Z Qian, C Song, M Sridharan, ...
2022 Network and Distributed System Security Symposium, 2022
92022
Assisting static analysis with large language models: A chatgpt experiment
H Li, Y Hao, Y Zhai, Z Qian
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
62023
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
H Li, Y Hao, Y Zhai, Z Qian
Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 474-499, 2024
42024
Preventing the Memory Errors in the Large-Scale C/C++ Software
Y Zhai
University of California, Riverside, 2023
2023
Don’t Waste My Efforts: Pruning Redundant Sanitizer Checks of Developer-Implemented Type Checks
Y Zhai, Z Qian, C Song, M Sridharan, T Jaeger, P Yu, SV Krishnamurthy
The system can't perform the operation now. Try again later.
Articles 1–8