I'm a third-year undergraduate student in Computer Science at Stanford University, advised by Professor Keith Winstein.
My main interest is in computer systems. I'm particularly interested in what I call "business-casual methods" (a phrase coined by Katherine Mohr). To me, business-casual methods is an approach to systems research that combines the spirit of formal methods/programming languages theory with hands-on, low-level system building.
wBPF is a tool that I made with Max Cura, Haibib Kerim, and Ari Reid that makes programs written in arbitrary languages “safe” by using WebAssembly as an intermediary and hybridizing static analysis with dynamic instrumentation. Even after making the necessary modifications, wBPF programs run at near native speeds.
I used Rust to make a simple Raspberry Pi kernel that can run WebAssembly binaries using wasm2c and a WASI layer.
While participating in CURIS 2025, I helped to develop a text editor for WebAssembly where every incomplete program is executable and errors are closely isolated to their origin. Codillon is currently being used to teach introductory computer science to students in CS10N. I also use Codillon on a daily basis while working on my other WebAssembly projects.
Here is a poster I made about Codillon:
