Sotabase
Home
Researchers
Career
·
Postdoctoral Researcher
,
Georgia Institute of Technology
2023–
·
Intern
,
Samsung Research America
2021–2021
·
Intern
,
Baidu X-lab
2020–2020
·
PhD in Computer Science
,
University of California, Riverside
2017–2023
Publications
(16)
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Proc. ACM Program. Lang. · 2024
149
cited
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel
ESEC/SIGSOFT FSE · 2020
44
cited
The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models
arXiv.org · 2023
36
cited
Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels
Conference on Computer and Communications Security · 2021
30
cited
Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
Network and Distributed System Security Symposium · 2022
18
cited
Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks
USENIX Security Symposium · 2024
8
cited
SymBisect: Accurate Bisection for Fuzzer-Exposed Vulnerabilities
USENIX Security Symposium · 2024
5
cited
ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System
arXiv.org · 2025
2
cited
Sotabase
Yizhuo Zhai | Researcher Profile | Sotabase | Sotabase