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