And to conclude this year's tweets, here is a brief announcement about next year's PLDI! PLDI 2026 will take place in the beautiful 🏔️ Boulder, Colorado 🏔️. We will see you all there!

The website is already up (pldi26.sigplan.org) so stay tuned for more updates!

Before closing the cycle for this year's PLDI, let's thank the conference sponsors one more time! Their support has been crucial in making PLDI happen :-)

Last but not least, the SIGPLAN Robin Milner Young Researcher Award was also announced at PLDI. This year, the award went to Işıl Dillig ( @idillig.bsky.social ), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️

Another award that is announced at PLDI is the SIGPLAN Programming Languages Software Award. This year, the award was received by the LEAN theorem prover, which has had and continues to have broad impact on mathematics, hardware and software verification, and AI!

Some more exciting news! This year we had not one, but two(!) dissertations receiving the SIGPLAN John C. Reynolds Doctoral Dissertation Award at PLDI!
The awardees are: Harrison Goldstein from the University of Pennsylvania and Rachit Nigam from Cornell University. More info ⬇️

Graduates:
🥉Prasanth Prahladan, University of Colorado, Boulder
🥈Jay Lee, Seoul National University
🥇Charles Averill, University of Texas at Dallas

Undergraduates:
🥉Andrew Fox, University of Colorado, Boulder
🥈Liudmila Paskonova, Lomonosov Moscow State University
🥇Jam Kabeer Ali Khan, Max Planck Institute for Security and Privacy, and University of Hong Kong

These PC members received a distinguished reviewer award for having more than half of their reviews flagged positively:
- Aaron Bembenek
- Benjamin Delaware
- Chris Casinghino
- Colin Gordon
- Rohan Padhye

The workshop on quantum software (WQS 25) is also accepting paper submissions until March 21!

You can find more info here: pldi25.sigplan.org/home/wqs-202...

ISMM 2025 extended its paper submission deadline by a week! Submit your cool work on memory management to get a chance to visit Korea 🇰🇷

conf.researchr.org/home/ismm-20...

PLDI needs students volunteers to help make the conference a great experience for everyone :)

You get complimentary PLDI registration and more importantly, the chance to hang out with the other PLDI volunteers!

More details here: pldi25.sigplan.org/track/pldi-2...