Alexa VanHattum

Orcid: 0000-0001-6128-8907

Affiliations:

Wellesley College, MA, USA
Cornell University, Department of Computer Science, Ithaca, NY, USA

According to our database¹, Alexa VanHattum authored at least 6 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Scaling Instruction-Selection Verification against Authoritative ISA Semantics.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

2024

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Dependently Typing R Vectors, Arrays, and Matrices.

[BibT_eX]

[DOI]

John Wrenn

Anjali Pal

Alexa VanHattum

Shriram Krishnamurthi

CoRR, 2023

2022

Verifying Dynamic Trait Objects in Rust.

[BibT_eX]

[DOI]

Alexa VanHattum

Daniel Schwartz-Narbonne

Nathan Chong

Adrian Sampson

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

Vectorization for digital signal processors via equality saturation.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

A Synthesis-Aided Compiler for DSP Architectures (WiP Paper).

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

Alexa VanHattum

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...