hot air balloon amongst the clouds

Hello! I'm a graduate computer science researcher in the PhD program 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, as well as Rust and Servo; and at Brave, building new systems for web privacy protection, program analysis, and browser engine instrumentation. I've also contributed to LiquidHaskell and the Glasgow Haskell Compiler.

Email: mds009@eng.ucsd.edu
GitHub: @spinda

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.
Personal: SmartDry Lives!
Reviving a dead IoT laundry sensor by hacking the firmware and reimplementing its cloud backend.

Fun Projects:

Publications: