GitHub GitHub Twitter Twitter LinkedIn LinkedIn Google Scholar Google Scholar

About me

I am Zijie Zhao, a third year PhD student in the PL/FM/SE group at University of Illinois Urbana-Champaign advised by Lingming Zhang.

I'm most passinate about fuzzing and broadly interested in software engineering and testing, with a focus on combining traditional techniques with powerful, rapidly evolving LLMs.

I obtained my bachelor's and master's degree in Computer Science at University of California San Diego.

Publication

Kernelgpt: Enhanced kernel fuzzing via large language models

Chenyuan Yang, Zijie Zhao, Lingming Zhang

Pre-print

WaVe: a verifiably secure WebAssembly sandboxing runtime

Evan Johnson, Evan Laufer, Zijie Zhao, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown

IEEE S&P 2023 🏆 Distinguished Paper Award

Industry Experience

May - Aug 2024

Graduate Intern

  • Built a source code level fuzzer MoveSmith for the Aptos Move Compiler and VM stack.
  • MoveSmith is able to generate complex Move programs with high valid rate by respecting rules for language features like ability constraints, lifetime, and ownership.
  • To date, MoveSmith has found 31 bugs in both the compile and the VM.

Teaching Experience

  • UIUC CS 527: Topics in Software Engineering
  • UIUC CS 427: Software Engineering I
  • UCSD CSE 127: Intro to Computer Security
  • UCSD CSE 21: Mathematics for Algorithms and Systems
  • UCSD CSE 12: Basic Data Structures and OOD
  • UCSD CSE 11: Introduction to Java

Selected Bugs

A selection of bugs that my work found: