The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
Joined July 2010
- Tweets 1,232
- Following 951
- Followers 5,106
- Likes 687
141 Photos and videos
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/
2
252
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: 🔗pldi26.sigplan.org/home/page…
3
12
1,020
The Proceedings of the ACM on Programming Languages (PACMPL) issue for #PLDI2026 is out!
🔗dl.acm.org/toc/pacmpl/2026/1…
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!
2
6
697
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!
đź“… Tue, Jun. 16 | Boulder, CO
🔗 pldi26.sigplan.org/home/tb-6…
1
8
521
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…
445
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
9
836
🚨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!
đź”—pldi26.sigplan.org/
3
672
PAgE'26's submission deadline is now May 6 AoE! Don't miss this chance to share your work on safe agentic engineering!
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
🔗pldi26.sigplan.org/home/page…
4
718
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
🔗pldi26.sigplan.org/home/page…
4
10
1,908
PLDI retweeted
Mar 29
We encourage undergraduate, master’s, and early-stage PhD students interested in programming languages to apply for 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…
3
72
411
31,160
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 work and lasting influence. Don't miss it! pldi26.sigplan.org/home/tb-6…
2
6
880
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/ARRA…
1
6
757
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!
Jan 22
The 2nd Workshop on Choreographic Programming (CP 2026) is co-located with @PLDI this year! Talk proposals are due in just a couple months. Please check out the website and share widely. pldi26.sigplan.org/home/cp-2…
2
610
🚨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/pld…
9
651
📢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/pld…
9
17
1,810
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… to submit and for more information.
1
5
597
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/ARRA….
5
13
1,193
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/egra… for more info.
2
5
837
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/LCTE…!
9
780
PLDI retweeted
Jan 22
The 2nd Workshop on Choreographic Programming (CP 2026) is co-located with @PLDI this year! Talk proposals are due in just a couple months. Please check out the website and share widely. pldi26.sigplan.org/home/cp-2…
3
7
2,016