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
email,
Signal,
Telegram, or
Discord (@notspinda)!
Currently Working On:
- Research: Icarus
- 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 chunks of Firefox's JavaScript JIT.
Fun Projects:
- Reverse Engineering: Pulling apart a smart alarm clock and customizing its firmware—mentioned in The Verge!
- ML: Who needs a backend? ChatGPT as the universal Redux reducer
Publications:
- SOSP 2024: Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution
- 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