Alexa VanHattum

@[email protected]
346 Followers
285 Following
31 Posts
Assistant Professor @ Wellesley computer science. PhD from Cornell. Compilers, formal methods, systems programming languages. she/her.
Websitehttps://cs.wellesley.edu/~avh/
Show threadAlexa VanHattumApr 4, 2025
@cfbolz @jamey @regehr @cfallin not public yet, but I can email the paper draft if you’d like!
Show threadAlexa VanHattumApr 4, 2025

@cfbolz @jamey @regehr @cfallin

not very active in general, but sometimes when summoned :D

We also ended up choosing a different tool (based on ASL) over Sail as well for Cranelift's aarch64 backend.

Alexa VanHattumJan 13, 2025
SIGPLANJan 13, 2025
What role should Student Research Competitions play in mentoring new researchers? @notypes and @avanhatt argue for a renewed focus on feedback and visibility for SRCs. https://blog.sigplan.org/2025/01/13/the-missing-mentoring-pillar/
The Missing Mentoring Pillar

The Missing Mentoring Pillar The programming languages (PL) community has developed a whole host of mentoring pillars to help new research become a part of our community The Programming Languages M…

SIGPLAN Blog
Alexa VanHattumSep 7, 2023
RachitSep 5, 2023

Priya was my mentee, colleague, and a good friend. Their passing came as a shock to all of us. If Priya touched your life in any way, academically or otherwise, please feel free to reach out to me to add to the post

https://rachit.pl/post/priya/

Your Eternal Spark | Rachit Nigam

Show threadAlexa VanHattumAug 28, 2023
@lindsey was lucky to be able to start working on a collaborative grant slightly before I officially started!
Alexa VanHattumAug 28, 2023
Important milestone: first grant proposal rejection! Feeling like a real professor now 😅
Alexa VanHattumJul 13, 2023

In ~1 hour (9pm ET/6pm PT), I'll give this virtual talk/Q&A hosted by the Women in Compilers & Tools working group!

It will have:
+ lightweight formal methods
+ boundless enthusiasm for compilers
+ time for me to extol the virtues of the undergraduate-focused academic career path (and share job market tips) ✨

https://www.meetup.com/llvm_wict/events/293949678/

Career chat and Tech talk with Professor Alexa VanHattum, Thu, Jul 13, 2023, 6:00 PM | Meetup

**Technical Talk: Lightweight, Modular Verification for Instruction Selection** Language-level guarantees—like runtime isolation for WebAssembly modules—are only as strong

Meetup
Alexa VanHattumJun 22, 2023
Chris FallinJun 19, 2023

EGRAPHS talk yesterday on Cranelift's (a)egraphs mid-end was great fun; slides are now up [0]! Unfortunately the streaming setup was broken in our workshop room, so no recording exists (sorry!).

Thanks again to @mwillsey, @ztatlock and the rest of the egraphs-workshop crew for inviting me. Was fantastic to finally meet some collaborators and other compiler folks in person, too; only regret is not having more time to catch up!

[0] https://cfallin.org/pubs/egraphs2023_aegraphs_slides.pdf

Show threadAlexa VanHattumMay 16, 2023
@palvaro thank you!!!
Show threadAlexa VanHattumMay 16, 2023
@gvwilson thank you!!