| 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. |