A Synthesis-Aided Compiler for DSP Architectures (WiP Paper). - Alexa VanHattum; Rachit Nigam; Vincent T. Lee; James Bornholt; Adrian Sampson (LCTES, 2020)

Vectorization for digital signal processors via equality saturation. - Alexa VanHattum; Rachit Nigam; Vincent T. Lee; James Bornholt; Adrian Sampson (ASPLOS, 2021)

Verifying Dynamic Trait Objects in Rust. - Alexa VanHattum; Daniel Schwartz-Narbonne; Nathan Chong; Adrian Sampson (ICSE (SEIP), 2022)

Dependently Typing R Vectors, Arrays, and Matrices. - John Wrenn; Anjali Pal; Alexa VanHattum; Shriram Krishnamurthi (CoRR, 2023)

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection. - Alexa VanHattum; Monica Pardeshi; Chris Fallin; Adrian Sampson; Fraser Brown (ASPLOS (1), 2024)