Hello!
I'm a graduate computer science researcher in the PhD program at
I've previously interned at:
-
Mozilla, contributing toFirefox's JavaScript engine/JIT, headless mode, and remote debugging protocols, as well as Rust andServo; -
Brave Research, building new systems for web privacy protection, program analysis, and browser engine instrumentation; and -
AWS Automated Reasoning, contributing toCedar and working on distributed systems and graph algorithms.
I've also contributed to
Contact:
You can find me on GitHub, and reach out over Signal, Telegram, or Discord! I prefer not to be contacted over email.
Currently Working On:
-
Research: Cachet
(GitHub) -
Static checking for secure just-in-time compilers, using
Rust, Corral, Boogie, andZ3! 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 :visited
(PDF)