Sign in
Yizhuo Zhai
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Language Modelling
Language Model For Information Retrieval
Linux Kernel
Buffer Overflow
Top Venues
ESEC/SIGSOFT FSE
NDSS
CoRR
CCS
</>
Publications
</>
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)