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

Boulder, Colorado
Joined July 2010
Most sincere thanks to the authors, speakers, sponsors, reviewers, and participants for making PLDI 2026 in Boulder such a huge success! -- PLDI 2026 Organizers
1
2
51
2,440
#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!
10
808
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/pld…
2
5
663
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/pld…
1
3
471
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!
2
16
1,319
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 :-)
1
9
1,107
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 (@IsilDillig), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️
1
9
54
1,964
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 (@leanprover), which has had and continues to have broad impact on mathematics, hardware and software verification, and AI!
1
8
1
60
2,904
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 ⬇️
2
6
1
32
3,109
Graduates: 🥉Prasanth Prahladan, University of Colorado, Boulder 🥈Jay Lee, Seoul National University 🥇Charles Averill, University of Texas at Dallas
1
6
523