Alexa VanHattum

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/

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