iiinova — where your digital self keeps evolving

PLDI @sigplan-pldi.bsky.social · 20/06/2026

Most sincere thanks to the authors, speakers, sponsors, reviewers, and participants for making PLDI 2026 in Boulder such a huge success! -- PLDI 2026 Organizers

1131

PLDI @sigplan-pldi.bsky.social · 18/06/2026

#PLDI2026 day 1 is in the books! We've already had some fantastic talks with packed rooms and great energy. There's still 2 days left to catch the full slate of research talks shaping the future of programming language design and implementation. Don't miss them!

020

PLDI @sigplan-pldi.bsky.social · 17/06/2026

The views from Monday/Tuesday's Chautauqua hikes were unreal! Missed them? Don't worry #PLDI2026's social week is just getting started! We have Bands on the Bricks tonight, tea at Dushanbe tomorrow, and one more hike Friday. See you there! 🏔️ pldi26.sigplan.org/track/pldi-2...

040

PLDI @sigplan-pldi.bsky.social · 17/06/2026

Unable to attend a talk or session at #PLDI2026 in person? You can still join via live-stream links available on the PLDI website!

012

PLDI @sigplan-pldi.bsky.social · 17/06/2026

The #PLDI2026 main conference kicks off tomorrow in Boulder, CO! We have stellar keynotes lined up for each day on: - PL design in the ML era (Wed), - AI validation with testing and proof engineering (Thu), and - Quantum through a PL lens (Fri). 🔗 pldi26.sigplan.org/track/pldi-2...

050

PLDI @sigplan-pldi.bsky.social · 15/06/2026

Beyond the sessions, at #PLDI2026 we've got a full week of social meetups to explore Boulder! This includes hikes in Chautauqua Mon/Tues/Fri, walk to downtown Pearl St for Bands on the Bricks on Wed, and tea at the Dushanbe Tea House on Thu. 🏔️ pldi26.sigplan.org/track/pldi-2...

041

PLDI @sigplan-pldi.bsky.social · 15/06/2026

#PLDI2026 is live-streaming participating sessions on YouTube! Catch workshops, keynotes, research talks, and more from the premier PL and programming systems research venue. 📺Tune in at: pldi26.sigplan.org/attending/li...

pldi26.sigplan.org

PLDI Live Streams - 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...

075

Reposted by PLDI

Programming for the Planet @propl.dev · 15/06/2026

The 3rd Programming for the Planet chaired by @neurocy.bsky.social will be livestreaming from @sigplan-pldi.bsky.social in an hour at www.youtube.com/watch?v=wqc9...; see the morning program here pldi26.sigplan.org/program/prog...

youtube.com

[PLDI 2026] Flatirons 4 - PROPL (Jun 15th)

YouTube video by ACM SIGPLAN

043

PLDI @sigplan-pldi.bsky.social · 14/06/2026

As you begin your travels to #PLDI2026, don't forget to check out the travel information on the website for directions from the airport to the Limelight Boulder. We also have tips for exploring Boulder from our local organizers. Pack your hiking boots! 🔗 pldi26.sigplan.org

062

PLDI @sigplan-pldi.bsky.social · 11/06/2026

The PAgE'26 @ #PLDI2026 program is live! PAgE is packed with great talks on formal methods for AI, agentic code reasoning and debugging, self-healing agentic programs, and more. Join us Monday, June 15 in Boulder, CO for PAgE: 🔗https://pldi26.sigplan.org/home/page-2026

021

PLDI @sigplan-pldi.bsky.social · 09/06/2026

The Proceedings of the ACM on Programming Languages (PACMPL) issue for #PLDI2026 is out! 🔗https://dl.acm.org/toc/pacmpl/2026/10/PLDI With less than a week until the conference kicks off in Boulder, CO on June 15, now's the perfect time to plan your reading list and program schedule!

041

PLDI @sigplan-pldi.bsky.social · 06/06/2026

The PyTorch Foundation is hosting a Helion DSL Tutorial at #PLDI2026 on Monday, June 15! Helion is a Python-embedded DSL for writing performant and portable machine learning kernels for NVIDIA/AMD GPUs, Google TPUs, and other hardware accelerators. Join us for a hands-on experience with Helion!

001

PLDI @sigplan-pldi.bsky.social · 04/06/2026

The program is live for the Tom Ball @ Sixty workshop at #PLDI2026! We have a great line up of distinguished speakers covering decades of important research in testing and formal verification. Don't miss it! 📅 Tuesday, June 16 | Boulder, CO 🔗 pldi26.sigplan.org/home/tb-60-2...

011

PLDI @sigplan-pldi.bsky.social · 29/05/2026

We've set up a Discord server for #PLDI26! Join the community for discussions, networking, and real-time conference updates. Find the invite link on the attendee info page: pldi26.sigplan.org/attending/In...

053

PLDI @sigplan-pldi.bsky.social · 22/05/2026

Don't forget about PLDI's exciting workshops at registration! ARRAY: Array-oriented Programming CP: Choreographic Programming EGRAPHS: Equality Graphs PAgE: Principles of Agentic Engineering PROPL: Programming for the Planet SOAP: SotA in Program Analysis TB@60: Tom Ball at 60

041

PLDI @sigplan-pldi.bsky.social · 14/05/2026

🚨Time is running out for #PLDI2026 early rates!🚨 Early registration closes in two days on May 16 (UTC -6), and the room block at the Limelight Boulder expires TOMORROW, May 15 (UTC -6). Don't miss these savings! 🔗https://pldi26.sigplan.org/

011

PLDI @sigplan-pldi.bsky.social · 01/05/2026

PAgE'26's submission deadline is now May 6 AoE! Don't miss this chance to share your work on safe agentic engineering!

010

PLDI @sigplan-pldi.bsky.social · 22/04/2026

AI agents are being deployed in production, but are they safe, reliable, and trustworthy? PAgE @ PLDI'26 brings the formal methods and AI communities together to tackle this challenge! Submissions and attendance welcome. 🗓️New deadline: April 30 AoE 🔗https://pldi26.sigplan.org/home/page-2026

010

PLDI @sigplan-pldi.bsky.social · 01/04/2026

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

011

PLDI @sigplan-pldi.bsky.social · 30/03/2026

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

032

PLDI @sigplan-pldi.bsky.social · 28/03/2026

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

040

PLDI @sigplan-pldi.bsky.social · 23/03/2026

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

232

PLDI @sigplan-pldi.bsky.social · 16/03/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...

022

PLDI @sigplan-pldi.bsky.social · 07/03/2026

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

pldi26.sigplan.org

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

052

PLDI @sigplan-pldi.bsky.social · 26/02/2026

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.

000

PLDI @sigplan-pldi.bsky.social · 24/02/2026

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

010

PLDI @sigplan-pldi.bsky.social · 19/02/2026

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.

021

PLDI @sigplan-pldi.bsky.social · 16/02/2026

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

022

Reposted by PLDI

Dan Plyukhin @dplyukhin.bsky.social · 22/01/2026

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

pldi26.sigplan.org

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

143

PLDI @sigplan-pldi.bsky.social · 06/01/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)

forms.gle

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

083

PLDI @sigplan-pldi.bsky.social · 15/12/2025

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

010

PLDI @sigplan-pldi.bsky.social · 17/11/2025

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

0114

PLDI @sigplan-pldi.bsky.social · 11/11/2025

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

000

PLDI @sigplan-pldi.bsky.social · 08/11/2025

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

033

PLDI @sigplan-pldi.bsky.social · 27/10/2025

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

012

PLDI @sigplan-pldi.bsky.social · 18/10/2025

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

020

PLDI @sigplan-pldi.bsky.social · 08/10/2025

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.

pldi26.sigplan.org

PLDI 2026 - PLDI Workshops and Tutorials - PLDI 2026

010

PLDI @sigplan-pldi.bsky.social · 24/09/2025

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!

pldi26.sigplan.org

PLDI 2026 - PLDI Research Papers - PLDI 2026

031

Reposted by PLDI

Rachit Nigam @notypes.bsky.social · 07/07/2025

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

people.csail.mit.edu

Reflecting on PLDI 2025 | Rachit Nigam

082

PLDI @sigplan-pldi.bsky.social · 01/07/2025

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!

172

PLDI @sigplan-pldi.bsky.social · 28/06/2025

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

020

PLDI @sigplan-pldi.bsky.social · 28/06/2025

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

1287

PLDI @sigplan-pldi.bsky.social · 28/06/2025

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!

184

PLDI @sigplan-pldi.bsky.social · 28/06/2025

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

1248

PLDI @sigplan-pldi.bsky.social · 26/06/2025

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

120

PLDI @sigplan-pldi.bsky.social · 24/06/2025

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

110

PLDI @sigplan-pldi.bsky.social · 24/06/2025

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

000

PLDI @sigplan-pldi.bsky.social · 23/06/2025

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

160