PLDI (@pldi) 's Twitter Profile
PLDI

@pldi

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

ID: 163544554

linkhttps://pldi25.sigplan.org calendar_today06-07-2010 17:52:37

1,1K Tweet

4,4K Takipçi

978 Takip Edilen

PLDI (@pldi) 's Twitter Profile Photo
PLDI
@pldi

4 months ago

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…

PLDI (@pldi) 's Twitter Profile Photo
PLDI
@pldi

4 months ago

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

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 (@pldi) 's Twitter Profile Photo
PLDI
@pldi

4 months ago

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!

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!