Hello! I'm a graduate computer science researcher in the PhD program at UC San Diego, working on programming systems and security. I also wear a lot of hats at FlexWash, building industrial automation, computer vision, managed networking, and IoT/edge computing.
I've previously interned at:
- Mozilla, contributing to Firefox's JavaScript engine/JIT, headless mode, and remote debugging protocols, as well as Rust and Servo;
- Brave Research, building new systems for web privacy protection, program analysis, and browser engine instrumentation; and
- AWS Automated Reasoning, contributing to Cedar and working on distributed systems and graph algorithms.
I've also contributed to LiquidHaskell, the Glasgow Haskell Compiler, and Rust's standard library (I just think that's neat).
Contact:
You can find me on
GitHub,
and reach out over
Signal,
Telegram, or
Discord (@notspinda)!
I prefer not to be contacted over email, but if you need to, please give me a heads-up first.
Currently Working On:
- Research: Cachet (GitHub)
- Static checking for secure just-in-time compilers, using Rust, Corral, Boogie, and Z3! Designing a language for building secure compilers, and using it to verify a fork of Firefox's JavaScript JIT.
Fun Projects:
Publications:
- PriSC 2023: [WIP] Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers (PDF)
- PriSC 2023: [WIP] FaJITa: Verifying Optimizations on Just-In-Time Programs (PDF)
- PETS 2022: Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites (PDF)
- ACM CCS 2021: SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking (PDF)
-
USENIX WOOT 2018: Browser history
re (PDF):visited