Undergraduate, master’s, and early-stage PhD students interested in programming languages should apply to PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL! Apply here: pldi26.sigplan.org/home/PLMW-PL...
Posts by PLDI
A special workshop celebrating Thomas Ball's 60th birthday and extraordinary impact in PL, SE, and formal methods will be held on June 16th at PLDI'26!
There is a great line up of speakers who will reflect on his contributions and lasting influence. Don't miss it! pldi26.sigplan.org/home/tb-60-2...
ARRAY 2026's (co-located with PLDI) deadline has been extended until April 6 AoE! Don't miss your chance to share your work on array-oriented programming.
Also, for attendees, ARRAY's keynote speakers are now listed on the website: pldi26.sigplan.org/home/ARRAY-2...
CP 2026's deadline has been extended until Monday March 30 AoE! If you've been on the fence, now's your chance. We'd love to see your work! pldi26.sigplan.org/home/cp-2026
🚨The PLDI'26 Student Research Competition deadline has been extended to Thursday, March 19!
Whether your work is in its early stages or more polished, this is a great opportunity to get feedback from the PL community.
Check out: pldi26.sigplan.org/track/pldi-2...
📢 Calling all students! PLDI'26 is now soliciting student volunteers.
It's a fantastic opportunity to connect with the programming languages research community, meet top researchers, and contribute to PLDI'26's success!
⏳ Apply by April 13 AoE pldi26.sigplan.org/track/pldi-2...
The 2026 ACM SIGPLAN International Symposium on Memory Management (co-located with PLDI'26) is accepting submissions on areas of interest in memory management until March 27 AoE! See conf.researchr.org/home/ismm-2026 to submit and for more information.
Do you have new research ideas in array-oriented programming? Then submit your work as a full paper or extended abstract to ARRAY 2026 by April 1 AoE! For more info about ARRAY 2026 and the submission process see pldi26.sigplan.org/home/ARRAY-2....
The EGRAPHS Workshop will hold its fifth (!) instance at PLDI'26! Submission deadline is April 17, 2026 AoE.
Submissions are invited for talks broadly, including talks that may cover already published or in-progress work. See pldi26.sigplan.org/home/egraphs... for more info.
The 27th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2026) is co-located with PLDI'26 this year. Submit your work as an abstract by March 6 AoE and paper by March 13 AoE at pldi26.sigplan.org/home/LCTES-2...!
The 2nd Workshop on Choreographic Programming (CP 2026) is co-located with @sigplan-pldi.bsky.social this year! Talk proposals are due in just a couple months. Please out the website and please share widely. pldi26.sigplan.org/home/cp-2026
SOAP'26 @ PLDI'26 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 3, 2026 AoE.
More info: pldi26.sigplan.org/home/SOAP-2026
Are you interested in programming languages research and mentoring up and coming PL researchers?
Then you should fill out the self-nomination form for the PLDI'26 Student Research Competition's PC: forms.gle/KSacbLEtw1Yw...
(Note, you must have a PhD by June 2026 to be a judge)
Just 1 week to go until the PLDI'26 AEC self-nomination deadline on Dec. 22. Submit your nomination and check it off your to-do list! ✅
Calling all motivated students and researchers to be part of the PLDI'26 Artifact Evaluation Committee! The first round of self-nominations ends on Dec. 22: pldi26.sigplan.org/track/pldi-2...
🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!
The deadline to submit a workshop/tutorial proposal to be co-located with PLDI'26 is just a few days away on Nov. 14 if there will be a proceedings and on Nov. 24 otherwise. Check out the call: pldi26.sigplan.org/track/pldi-2....
The PLDI'26 deadline is right around the corner on Nov. 13. We look forward to your submission(s)! See the call for papers for more information: pldi26.sigplan.org/track/pldi-2....
Make sure to submit your co-located workshop and/or tutorial proposals to PLDI'26 by Nov. 14 with proceedings and Nov. 24 otherwise!
Don't forget to submit your awesome new programming languages research to PLDI'26 on Nov. 13th!
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 :-)
You can read the complete citation (which is very big to paste here) at the SIGPLAN website: www.sigplan.org/Awards/Milner/!
An excerpt from the award citation: Her work is distinguished by extraordinary technical depth, breadth, and originality. She has repeatedly anticipated emerging trends, notably pioneering the integration of machine learning with formal methods.
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 ⭐️
You can read the full citation for the award here: www.sigplan.org/Awards/Softw..., and find more info about Lean here: lean-lang.org!
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!