CyberGym
[Accepted ICLR Oral 2026] I worked with the Berkeley Security Group under Dawn Song's research lab to build CyberGym, a benchmark evaluating LLM agents' capabilities to reproduce real-world vulnerabilities.
securityacademic
ComeBack
I worked with a friend to create ComeBack, an LLM-based decompiler that recovers original Go source code from binaries. (For CS 261 @ Berkeley).
securityacademic
GameTime for Lingua Franca
I worked with a group of students to extend GameTime, a worst-case program execution time analysis algorithm, for Lingua Franca — a polyglot coordination language for distributed systems programming. (For CS 294-262 @ Berkeley)
distributed systemsacademic