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:
-
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