PLDI

@PLDI

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0

Seoul, South Korea

Joined July 2010

974Following

5KFollowers

PLDI@PLDI · Jul 1

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!

PLDI's tweet 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!

1.0K

PLDI@PLDI · Jun 28

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

PLDI's tweet 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 :-)

932

PLDI@PLDI · Jun 24

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/37… - A Hybrid Approach to Semi-automated Rust Verification dl.acm.org/doi/10.1145/37…

999