Advertisement · 728 × 90

Posts by PLDI

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

2 weeks ago 0 1 0 0

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

3 weeks ago 3 2 0 0

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

3 weeks ago 4 0 0 0

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

4 weeks ago 3 2 2 1

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

1 month ago 2 2 0 0
Preview
PLDI 2026 - Volunteering - PLDI 2026 Sign up to be a Volunteer and help us make PLDI 2026 a great experience for all attendants! PLDI 2026 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient opera...

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

1 month ago 5 2 0 0

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.

1 month ago 0 0 0 1

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

1 month ago 1 0 0 0
Advertisement

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.

2 months ago 2 1 0 0

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

2 months ago 2 2 0 0
Preview
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

2 months ago 4 3 1 1
Preview
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

2 months ago 3 2 0 0
Preview
[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)

3 months ago 8 3 0 2

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

4 months ago 1 0 0 0
Preview
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...

4 months ago 2 3 0 1
Advertisement

🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!

5 months ago 11 4 0 0

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

5 months ago 0 0 0 0

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

5 months ago 3 3 0 0

Make sure to submit your co-located workshop and/or tutorial proposals to PLDI'26 by Nov. 14 with proceedings and Nov. 24 otherwise!

5 months ago 1 2 0 0

Don't forget to submit your awesome new programming languages research to PLDI'26 on Nov. 13th!

6 months ago 2 0 0 0
Preview
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.

6 months ago 1 0 0 1
Preview
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!

6 months ago 3 1 0 1
Reflecting on PLDI 2025 | Rachit Nigam

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

9 months ago 8 2 0 1
Post image

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!

9 months ago 7 2 1 0
Post image

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 :-)

9 months ago 2 0 0 0
Advertisement
Robin Milner Young Researcher Award

You can read the complete citation (which is very big to paste here) at the SIGPLAN website: www.sigplan.org/Awards/Milner/!

9 months ago 0 0 0 0

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.

9 months ago 0 0 1 0
Post image

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

9 months ago 28 7 1 0
Programming Languages Software Award

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!

9 months ago 0 0 0 0
Post image

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!

9 months ago 8 4 1 0