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