PLDI

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

CP 2026 - PLDI 2026 Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together. In the paradigm of choreog...

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 2026 - PLDI 2026 Static and dynamic analysis techniques and tools for mainstream programming languages (such as Java, C, JavaScript) have received widespread attention for a long time. The application domains of these...

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

[PLDI 26] SRC Program Committee Nomination Form Thank you for your interest in the program committee for the SRC! We're excited for you (or someone you are nominating) to join us in providing high-quality feedback to junior researchers in the PLDI ...

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! ✅

PLDI 2026 - PLDI Research Artifacts - PLDI 2026 Background A paper consists of a constellation of artifacts that extend beyond the document itself: software, proofs, models, test suites, benchmarks, and so on. In some cases, the quality of these ar...

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 2026 - PLDI Workshops and Tutorials - PLDI 2026 Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)! PLDI is the premier forum in the field of programming languages and programmi...

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.

PLDI 2026 - PLDI Research Papers - PLDI 2026 Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)! PLDI is the premier forum in the field of programming languages and programmi...

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!

You can see the full award information and past awardees here: www.sigplan.org/Awards/Disse...

And one from Rachit's: Beautifully written, technically deep, and with growing impact beyond academia, this dissertation exemplifies the best of programming languages research and will serve as a guide for future work at the intersection of PL and hardware design.

An excerpt from Harry's citation: His research, bridging programming languages, software engineering, and human-computer interaction, lays the foundation for a new generation of practical, powerful PBT tools, with substantial impact across both academia and industry.

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

"A simpler, safer programming and execution model for intermittent systems" by Brandon Lucia and Benjamin Ransford. dl.acm.org/doi/10.1145/...

The work addresses significant consistency problems in the area of intermittent systems and dramatically simplifies their programming ⭐️

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