Assistant Professor @Wellesley computer science. @CornellCIS PhD. Compilers + lightweight formal methods. she/her. [email protected] https://xitter.cf/t.co/9UVghNn4e5
Wellesley, MA
Joined March 2015
- Tweets666
- Following1K
- Followers1.6K
- Likes4.4K
Alexa VanHattum retweeted
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 ...
Alexa VanHattum retweeted
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.
Alexa VanHattum retweeted
PL Students 📢 submit your work to the SRC (due March 14) ! pldi25.sigplan.org/track/pld…
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 ✨
Alexa VanHattum retweeted
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: github.com/maria-antoniak/fi…
Alexa VanHattum retweeted
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.
mastodon.social/@asaj@mastod…
Alexa VanHattum retweeted
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!
ALT A photo of the mountains rising above the city of Boulder.
Alexa VanHattum retweeted
✅ | 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."
ALT A photo of President Roth delivering a speech in a cap and gown
Alexa VanHattum retweeted
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."
ALT Screenshots of key figures from my research. Top-left: eye-tracking data of programmers' tracing strategies. Center: visualizations of the static and dynamic semantics of Rust. Right: an IDE plugin and formal semantics for analyzing information flow in Rust programs. Bottom-left: a new document language, Nota.
Alexa VanHattum retweeted
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!!!
Alexa VanHattum retweeted
All-women lineup is so incredibly hype!!!!!!!!
The program for the Oregon PL Summer School 2023 is now available and the application deadline is April 13th! Apply here: cs.uoregon.edu/research/summ…
Alexa VanHattum retweeted
Student Research Competition submissions are due March 23rd!! Make use of this opportunity to present your ongoing research work or completed research projects that need feedback from a diverse set of reviewers.
The PLDI 2023 call for Student Research Competition submissions is now live! Come showcase your work!
This year, there are both in-person and virtual tracks:
pldi23.sigplan.org/track/pld…
Alexa VanHattum retweeted
America, students who survived the shooting at Oxford High School 14 months and 2 weeks ago are going through their second mass shooting at Michigan State University tonight.
Let that sink in. Two mass shootings in 14 months.
We need change.
We deserve to grow old.
Alexa VanHattum retweeted
Our invited speaker for EGRAPHS 2023 will be Chris Fallin! He will tell us about the ae-graph, a variant of the e-graph data structure that is used as a new mid-end IR in the Cranelift JIT compiler.
Submit *your* super cool EGRAPHS 2023 talk by April 5!
pldi23.sigplan.org/details/e…
Alexa VanHattum retweeted
I'm currently on the job market for industry & academic research positions! My research leverages ethnography to understand how frontline healthcare workers perceive AI & examines how XAI can be designed for emerging technology users.
Happy to discuss all relevant opportunities!
Alexa VanHattum retweeted
Today I officially became a bug doctor!! This cake was the icing on top of an exciting day (credit to @BaxterLindsay). My public exit seminar is on December 1st - please let me know if you would like to join via Zoom to hear all about the tiger mosquito and what it eats! – at Ithaca, NY
Congratulations Dr @KaraFikrig on passing your PHD exam today!!! Amazing dissertation work on Aedes albopictus feeding biology and behavior!
Alexa VanHattum retweeted
This woman in Texas had started to miscarry, but her doctors couldn’t perform an immediate abortion because the fetus still had a heartbeat. She lost liters of blood and had to be put on a breathing machine as a result: AP.
Alexa VanHattum retweeted
📢 CS Faculty Job Market 📢
For a 5th yr, I'm curating CS faculty ads that balance teaching & research
For me, they were the *only* positions that fit my work priorities, but are still invisible to many. Let's make them visible. Please share (RT)!
👉 cs-pui.github.io
ALT A visual continuum of teaching expectations and research expectations. The jobs on this site are highlighted as 4-year colleges that expect research
Alexa VanHattum retweeted
Please read this piece, which will make you retch with sadness and anger: newyorker.com/news/dispatch/…
Alexa VanHattum retweeted
Co-located with PLDI: E-Graph Research, Applications, Practices, and Human-factors Symposium (EGRAPHS 2022). pldi22.sigplan.org/home/egra…