Alexa VanHattum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection. | Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown |
| 2022 | ICSE | Verifying Dynamic Trait Objects in Rust. | Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson |
| 2021 | ASPLOS | Vectorization for digital signal processors via equality saturation. | Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson |