PLDI is soliciting proposals for co-located workshops and tutorials taking place on Mon. June 15 and Tues. June 16. Check out the call for workshops and tutorials: pldi26.sigplan.org/track/pldi-2.... The proposal submission deadlines are Nov. 14 with proceedings and Nov. 24 otherwise.

Do you enjoy hiking, scenic views, and/or programming languages research (broadly defined)? If so, you should submit your work to PLDI’26, which will be held in Boulder, Colorado! Check out the call for papers: pldi26.sigplan.org/track/pldi-2.... The deadline to submit a paper is Nov. 13th!

@sigplan-pldi.bsky.social was an absolute blast this year and had a lot of interesting conversations and papers! I've written down a little retrospective reflecting on some of them: people.csail.mit.edu/rachit/post/...

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 ⬇️

Every year at PLDI a paper published 10 years ago is recognized with an award due to having had significant influence in the field for these past 10 years! The PLDI '15 paper that received the award this year is ( 🥁 drum roll 🥁 ) ⬇️

This year's PLDI student research competition was also a success, with several interesting projects presented by graduate and undergraduate students! Here are the three winners for each category (undergraduate and graduate) ⬇️

Two papers in PLDI 25 received a ⭐️distinguished ⭐️ artifact award for their high quality software artifacts: - Verified Foundations for Differential Privacy dl.acm.org/doi/10.1145/... - A Hybrid Approach to Semi-automated Rust Verification dl.acm.org/doi/10.1145/...

Let's thank all the PLDI reviewers for helping make the PLDI program! Providing constructive and thoughtful reviews helps improve the work in our community regardless of whether it makes it in PLDI! The following reviewers went above and beyond with their review quality ⬇️

Don't forget to read the PLDI papers now that the conference is over! If you don't know where to start, you can read one of the 6 papers that received a distinguished paper award! See the full list in no particular order below ⬇️

Incredibly grateful to @sigplan.bsky.social and @sigplan-pldi.bsky.social for awarding #LeanLang the Programming Languages Software Award 2025 at #PLDI2025! #LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification

Ready for PLDI? ✈️ Checkout the the incredibly detailed PLDI 25 travel guide created by Nuno Lopes. It includes tips on flights, transportation, local SIM cards, cultural norms, and even suggestions for things to do and see around the city: web.ist.utl.pt/nuno.lopes/p...

Are you ready for PLDI next week? The best part about it is seeing old friends 👯 and making new ones! But how will your friends know you are going? Let them know by making a post using the #pldi25 tag or mentioning us @sigplan-pldi.bsky.social 🌟

Remember to book your hotel room for PLDI when you get a chance :) If you are staying at the conference hotel, use this link to book a room with the PLDI block rate (www.marriott.com/event-reserv...).

Don't forget to register for PLDI (pldi25.sigplan.org/attending/re...) !! You still have time until the early registration discounts end (May 17). Our program committee has accepted a great set of papers and there will also be very interesting workshops and tutorials 🌟

Check out our ✨ fantastic ✨ list of accepted papers (pldi25.sigplan.org/track/pldi-2...)! You still have time to book your tickets to Seoul and watch the PLDI talks live!

PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl... Deadline: April 10, 2025 PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends! Please apply!

Attention PL students 📢 PLMW 25 applications are out! PLMW offers a limited number of scholarships to cover costs for student participation so don't miss it ✨ See you in Seoul! Deadline: April 10 pldi25.sigplan.org/home/PLMW-pl...

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

The PLDI Student Research Competition's deadline is this week! We have an excellent group of expert reviewers lined up, submit/encourage your students to submit!

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

The Workshop on Quantum Software (WQS) is now at its second edition as a track of PLDI 2025. Please join us in Seoul for a full day discussion on quantum programming language design and implementation.

PL Students 📢 submit your work to the SRC (due March 14) ! pldi25.sigplan.org/track/pldi-2... 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 ✨

This year we have a lot of interesting colocated events! The list includes: ISMM, LCTES, ARRAY, EGRAPHS, RPLS, SOAP, WQS! More info in the thread below ⬇️

Are we still doing “Bluesky has the juice”? @sigplan-pldi.bsky.social is here—follow for all your design and/or implementation needs.

Are you interested in programming 💻 languages 🗣️research? Do you like reading cool short student papers? Then you could become part of the PC of the PLDI 25 student research competition!!!! Here is the self nomination form with more information: docs.google.com/forms/d/e/1F...

Hi Bluesky! Follow us for updates on this and next years PLDIs!