Alexa VanHattum

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Digital Signal Processor

Projection Matrix

Top Venues

Publications

Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown
Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection. ASPLOS (1) (2024)
John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi
Dependently Typing R Vectors, Arrays, and Matrices. CoRR (2023)
Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson
Verifying Dynamic Trait Objects in Rust. ICSE (SEIP) (2022)
Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson
Vectorization for digital signal processors via equality saturation. ASPLOS (2021)
Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson
A Synthesis-Aided Compiler for DSP Architectures (WiP Paper). LCTES (2020)