![]() |
Ph.D. Student Department of Computer Science Virginia Tech zhengjie@vt.edu Google Scholar | LinkedIn |
I am a Ph.D. student in Computer Science at Virginia Tech, advised by Prof. Dan Williams. My research focuses on safe kernel extension, advancing both its execution efficiency and its safety guarantees. I also work on empirical analysis of vulnerabilities in widely-deployed software. Most of my current work is on eBPF, where I extend its bytecode and JIT for performance and strengthen its verifier through information-flow control and declarative interface specifications.