I’m a 4th year PhD student at UCSD in the ProgSys lab advised by Deian Stefan. I work on applying programming language techniques to solve security problems. Recently I’ve been working on browser JIT verification and Wasm.


Jan 21, 2023 I gave a talk at PriSC 2023 about our work on FaJITa: a translation validation tool for verifying JIT optimizations. You can get the workshop paper and the talk slides .
Dec 23, 2020 Довер´яй, но провер´яй: SFI safety for native-compiled Wasm: NDSS 2021. Describing formal methods techniques and tool we used to verify an SFI property for native-compiled Wasm binaries.
Nov 18, 2019 Toward Multi-Precision, Multi-Format Numerics: outlining what we see as the necessary steps to support multi-precision multi-format numerics, their importance in the future of numerical methods, and steps we have taken to make our tools robust to this new vision for numerics.


  1. Доверя́й, но проверя́й: SFI safety for native-compiled Wasm
    Evan Johnson, David Thien, Yousef Alhessi, and 6 more authors
    In NDSS, 2021
  2. Toward Multi-Precision, Multi-Format Numerics
    David Thien, Bill Zorn, Pavel Panchekha, and 1 more author
    In Workshop on Software Correctness for HPC Applications, 2019