Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Published 'KNighter: Transforming Static Analysis with LLM-Synthesized Checkers' at SOSP 2025.
Published 'Kernelgpt: Enhanced kernel fuzzing via large language models' at ASPLOS 2025.
Co-authored work 'WaVe: a verifiably secure WebAssembly sandboxing runtime' received Distinguished Paper Award at IEEE S&P 2023.
Discovered multiple security vulnerabilities, including Firefox CVE-2020-26960 (awarded $1,000 bug bounty) and several Linux kernel CVEs.
Identified critical bugs in the Aptos Move project, such as Nested borrow, Operand order, and others.
Education
Received bachelor's and master's degrees in Computer Science from the University of California San Diego; pursuing a PhD at the PL/FM/SE group, University of Illinois Urbana-Champaign, advised by Lingming Zhang.
Background
Passionate about fuzzing and broadly interested in software engineering and testing, focusing on combining traditional techniques with powerful, rapidly evolving LLMs. Currently a third year PhD student at the University of Illinois Urbana-Champaign.