PLDI

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2027. Tweets by Jenna DiVincenzo and @shraddha_9.

[PLDI @PLDI]

Do you enjoy great food, a lively city scene, and/or programming languages research (broadly defined)? If so, you should submit your work to PLDI’27, which will be held in Atlanta, Georgia! Check out the call for papers: https://t.co/akYdQZe7Lg. The deadline to submit is Nov. 12.

[PLDI @PLDI]

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

[PLDI @PLDI]

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

[PLDI @PLDI]

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!
🏔️ https://t.co/6HOyhxBcdv

[PLDI @PLDI]

@satnam6502 In case tweets aren't enough, we are live streaming participating talks and sessions (including the keynotes) here: https://t.co/Tf7bDe10LH

[PLDI @PLDI]

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

🔗https://t.co/83byqUqxOZ

[PLDI @PLDI]

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

[PLDI @PLDI]

#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: https://t.co/Tf7bDe10LH

[PLDI @PLDI]

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.

🏔️https://t.co/6HOyhxBcdv

[Anil Madhavapeddy @avsm]

The third Programming for the Planet workshop is kicking off at @PLDI now; live stream at https://t.co/IM6YFgqueh and live blog at https://t.co/k63ieEKKaO

[PLDI @PLDI]

#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: https://t.co/Tf7bDe10LH

[PLDI @PLDI]

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!
🔗https://t.co/S5LH8fVHdG

[PLDI @PLDI]

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://t.co/QO6wCg5JAl

[PLDI @PLDI]

The Proceedings of the ACM on Programming Languages (PACMPL) issue for #PLDI2026 is out!
🔗https://t.co/CCqaSJ4QeE

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!

[PLDI @PLDI]

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
🔗 https://t.co/VjzXFKElFd

[PLDI @PLDI]

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:
https://t.co/upPRnL3HiI

[PLDI @PLDI]

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

[PLDI @PLDI]

🚨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://t.co/S5LH8fVHdG

[PLDI @PLDI]

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

[PLDI @PLDI]

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://t.co/QO6wCg5JAl

[PLDI @PLDI]

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://t.co/QO6wCg5JAl

[Jingbo Wang @bobowang2014]

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: https://t.co/SmbDEyTZL6