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.