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. 🍁

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 ...

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.

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 ✨

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:

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

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

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!

✅ | 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."

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."

https://t.co/VlBxmtVIWl

codes gone for now!

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

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

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!!!

Why is FCRC in Florida

I successfully defended my PhD thesis yesterday! An unbounded thank you to the best advisor, (wisely-no-longer-on-Twitter) Adrian Sampson, and my wonderful committee, collaborators, mentors, cohort, labmates, and my community outside of grad school that made this possible✨

the first programming languages research project I contributed to, many years ago!

All-women lineup is so incredibly hype!!!!!!!!