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
- Доверя́й, но проверя́й: SFI safety for native-compiled WasmIn NDSS, 2021
- Toward Multi-Precision, Multi-Format NumericsIn Workshop on Software Correctness for HPC Applications, 2019