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; 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
Blog: spindas.dreamwidth.org

Currently Working On:

Static checking for secure just-in-time compilers, using Rust, Corral, Boogie, and Z3!

Upcoming:

Past Papers: