Alexa VanHattum

Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her.

[email protected]

[Alexa VanHattum @avanhatt]

Career update: I’ll be joining Wellesley’s Computer Science department as an Assistant Professor in Fall 2023! I’m super excited to continue research across programming languages and systems, teach a bunch of very cool classes, and join the broader Boston academic community. 🍁

[Elena Glassman @roboticwrestler]

My largest remaining NSF grant, which was awarded by a competitive process on the recommendation of national experts, was terminated yesterday. The money would have paid for PhD students to invent better AI systems for everyday people who need programs written for them but ...

[WOAW-UAW @WOAWUAW]

The College chose to come to bargaining today with a proposal that increases our workload by 25% while paying us for the work increase at the rate we currently are paid to work overtime. This proposal, rather than offer a raise, mandates overtime work for all of our workers.

[PLDI @PLDI]

PL Students 📢 submit your work to the SRC (due March 14) ! https://t.co/hUQyazuAvL

The SRC has a large PC of awesome researchers with expertise in various PL areas! Each accepted submission will get a PC shepherd who will mentor and provide feedback for the camera ready ✨

[Maria Antoniak @maria_antoniak]

Sexual harassment is a horrible impediment to academic research, shutting out talented researchers and slowing scientific progress.

What can we do? I believe we're not helpless; we can improve our communities through practical actions.

Take a look: https://t.co/dIL52QwqOM

[Shriram Krishnamurthi (primary: Bluesky) @ShriramKMurthi]

Extremely sad to report that Alan Jeffrey (most recently of Roblox/Luau) has passed away, far too young. The cancer finally got him. This lovely photo, which so nicely encapsulates him, is courtesy of his family.
https://t.co/WxXppP5McJ

[Alexa VanHattum @avanhatt]

Gearing up some supplies for PLMW@PLDI next week! Excited to see folks in Copenhagen

[PLDI @PLDI]

PLDI is one week away! Looking forward to seeing many of you in Copenhagen, Denmark.

The complete program of PLDI here: https://t.co/b5ntNbyHw6

[Maria Antoniak @maria_antoniak]

In Fall 2025, I’ll be joining @CUBoulder’s CS Department!

I’m so excited to join this group of researchers, students, and teachers in the beautiful Rocky Mountains ☀️

I’ll be recruiting students this fall to start in 2025, so please send applicants my way!

[Сeasefire Tracker @Ceasefire_Track]

✅ | Wesleyan University President Michael S. Roth has called for a #CeasefireNOW.

"Almost every school and every university in Gaza has been destroyed or seriously degraded. Where once people studied, now they starve."

[Alexa VanHattum @avanhatt]

@TaliaRinger Congratulations, Talia!!

[Will Crichton @tonofcrates]

Hey I'm on the academic job market. I build systems to make programmers smarter, informed by PL theory (to make correct & generalizable tools) and HCI theory (to make humanly-useful tools). Also, students say I'm "one of the best lecturers at Stanford."

[Alexa VanHattum @avanhatt]

@josecalderon my memory from being a student is that a lot of the student-hype wasn’t because of what they *do*, but because their interviews were known as being the “hardest” (and also had a LOT of rounds), and that somehow made them ~mysterious~ and thus desirable

[Gus Smith @gushfsmith]

https://t.co/VlBxmtVIWl

[Alexa VanHattum @avanhatt]

@hackedy Nap!!

[Alexa VanHattum @avanhatt]

codes gone for now!

[Alexa VanHattum @avanhatt]

I have extra invite codes for the other blue site, if we follow each other and you want one, DM me!

[Alexa VanHattum @avanhatt]

@vdean314 @OlinCollege A massive congratulations to both you and Olin!!!! Stoked to be future neighbors ✨

[Alexa VanHattum @avanhatt]

Super excited to be giving this public, virtual talk tomorrow 7/13, 9pm ET/6pm PT!

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) ✨

[COMMUNITY.O @COMMUNITY_DOT_O]

Happening this Thursday, July 13 at 6pm PDT! Alex VanHattum speaking on Career and Tech. RSVP: https://t.co/4LF5GI9Xqa @avanhatt #womenwhocode #llvm #wict

[Talia Ringer 🕊🪬 @TaliaRinger]

I also really strongly enjoyed Kathryn McKinley's talk after she won the Programming Languages Achievement Award, which mentioned how important service is. Congrats to @ksmckinley for this well deserved award!!!