Hello! I'm a graduate computer science researcher at UC San Diego,
working on programming systems and security.
I've previously interned at Mozilla, contributing to Firefox's JavaScript engine/JIT, headless mode, and remote debugging protocols
(see also: my Bugzilla profile).
Some of the code I write can be found on my GitHub page.
I'm around on Mastodon (and Twitter, if you prefer).
I've also got a very infrequently-updated blog.
Want to get in touch? Message me at one of those places, or shoot me an email.
My GPG key is on Keybase, if you're into that sort of thing—I mostly just use it for code-signing.
Papers:
