1. Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17
2. Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface;ACM Transactions on Design Automation of Electronic Systems;2023-12-29
3. Synthesizing Instruction Selection Rewrite Rules from RTL using SMT;Form Comp Aid Design;2022
4. Rewrite rule inference using equality saturation;Proceedings of the ACM on Programming Languages;2021-10-20
5. ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS;Proceedings of the ACM on Programming Languages;2019-01-02