prof_pic.jpg

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.

news

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.

publications

  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