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:

Upcoming:

• PriSC 2023: Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers
  Michael Smith, Abhishek Sharma, John Renner, David Thien, Sorin Lerner, Fraser Brown, Hovav Shacham, Deian Stefan
• PriSC 2023: FaJITa: Verifying Optimizations on Just-In-Time Programs
  David Thien, Michael Smith, Evan Johnson, Sorin Lerner, Hovav Shacham, Deian Stefan, Fraser Brown

Past Papers:

• PETS 2022: Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites (PDF)
  Michael Smith, Peter Snyder, Moritz Haller, Benjamin Livshits, Deian Stefan, Hamed Haddadi
• ACM CCS 2021: SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking (PDF)
  Michael Smith, Pete Snyder, Benjamin Livshits, Deian Stefan
• USENIX WOOT 2018: Browser history re:visited (PDF)
  Michael Smith, Craig Disselkoen, Shravan Narayan, Fraser Brown, Deian Stefan