Discovery is the reward. No one understands anything fully. Optimism pays off. Everyone has skills you lack. There are no new ideas. Learning is never over. You don't own ideas, ideas own you.

For women in academia, barriers to having children aren't just finding partners or preserving fertility. It's systemic barriers—relentless relocations, temporary contracts, focus on individual achievement—planning for a family is like an impossible luxury.science.org/content/articl…

Get your ECOOP papers ready for the new year! ECOOP'25, held in Bergen, Norway, solicits practical and theoretical investigations of programming languages, systems and environments. Round 1 submissions are due January 6 AoE: 2025.ecoop.org/track/ecoop-20…

ECOOP 2025 Artifact Evaluation Program Committee 👉 Seeking self-nominations from industry practitioners, researchers & PhD students: tinyurl.com/mwjd9mdv Prior experience is appreciated.

On my way to POPL! Excited to meet many people I haven’t seen in some time and to hear Noam Zilberstein’s talk on Demonic Outcome logic, joint work with me, D Kozen, and J Tassarotti! Noam will be on the academic market next year, come listen to some of the cool stuff he’s been doing!

I'll be at POPL25 tomorrow to give a keynote on program synthesis, LLMs, and why maybe it's all the same thing. Hoping to see many friends

Got lucky and snatched a nice picture with many of my idols together this morning. What a treat Thomas Ball Alexandra Silva Derek Dreyer. That’s why I keep coming back to POPL 2026

Stephanie Weirich As the cherry on the top, it's always so good to meet one of very best friends Alexandra Silva

Blaming an airplane crash on DEI is one thing that would never have featured in any list of possible things I might hear this week. What a world we’re living in…

Sad reality giving pause to many of the scientists who made this choice including myself.

Look at this amazing tutorial/website for NetKAT that Jules made!!

1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the technology that today’s companies are built on.

Today, NSF announced an add’l 500 NSF Graduate Research Fellowship Program awardees for the 2025-2026 cohort, bringing the total to approx 1,500. #NSFGRFP supports grad students as they pursue their dreams, build STEM skills, & become the next generation of innovators & leaders.

#CFP: Applications for Bloomberg’s 2025-2026 #Infrastructure & #Security Ph.D. #Fellowship are now being accepted. Submission Deadline: Friday, July 18, 2025 (11:59 PM AoE) bloom.bg/3HLdfmO #InfoSec #supplychainsecurity #ProgramAnalysis #BugFinding

excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️ includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply! 📬

Just learned that Isil Dillig won the #SIGPLAN Robin Milner Junior researcher award this year! 🎈 🍾 The award goes to one outstanding mid-career PL researcher each year, and it’s hard to think of a more deserving candidate for it. Congratulations, Isil! sigplan.org/Awards/Milner/