PLDI
@PLDI
Followers
5K
Following
691
Media
141
Statuses
1K
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
The deadline to submit a workshop/tutorial proposal to be co-located with PLDI'26 is just a few days away on Nov. 14 if there will be a proceedings and on Nov. 24 otherwise. Check out the call: https://t.co/DQNnftZ92i.
0
0
1
The PLDI'26 deadline is right around the corner on Nov. 13. We look forward to your submission(s)! See the call for papers for more information: https://t.co/8LKRCTVYmd.
0
0
3
Make sure to submit your co-located workshop and/or tutorial proposals to PLDI'26 by Nov. 14 with proceedings and Nov. 24 otherwise!
PLDI is soliciting proposals for co-located workshops and tutorials taking place on Mon. June 15 and Tues. June 16. Check out the call for workshops and tutorials: https://t.co/DQNnftZ92i. The proposal submission deadlines are Nov. 14 with proceedings and Nov. 24 otherwise.
0
0
6
Don't forget to submit your awesome new programming languages research to PLDI'26 on Nov. 13th!
Do you enjoy hiking, scenic views, and/or programming languages research (broadly defined)? If so, you should submit your work to PLDI’26, which will be held in Boulder, Colorado! Check out the call for papers: https://t.co/8LKRCTWwbL. The deadline to submit a paper is Nov. 13th!
0
0
6
PLDI is soliciting proposals for co-located workshops and tutorials taking place on Mon. June 15 and Tues. June 16. Check out the call for workshops and tutorials: https://t.co/DQNnftZ92i. The proposal submission deadlines are Nov. 14 with proceedings and Nov. 24 otherwise.
0
0
1
Do you enjoy hiking, scenic views, and/or programming languages research (broadly defined)? If so, you should submit your work to PLDI’26, which will be held in Boulder, Colorado! Check out the call for papers: https://t.co/8LKRCTWwbL. The deadline to submit a paper is Nov. 13th!
0
4
8
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 ( https://t.co/S5LH8fVHdG) so stay tuned for more updates!
0
2
15
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 :-)
0
1
10
You can read the complete citation (which is very big to paste here) at the SIGPLAN website: https://t.co/RXmqgkblDR!
0
1
4
An excerpt from the award citation: Her work is distinguished by extraordinary technical depth, breadth, and originality. She has repeatedly anticipated emerging trends, notably pioneering the integration of machine learning with formal methods.
1
1
5
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
55
You can read the full citation for the award here: https://t.co/6MysvNGKlu, and find more info about Lean here: https://t.co/F8dEuUlUIw!
lean-lang.org
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
0
0
2
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
9
59
And one from Rachit's: Beautifully written, technically deep, and with growing impact beyond academia, this dissertation exemplifies the best of programming languages research and will serve as a guide for future work at the intersection of PL and hardware design.
1
0
1
An excerpt from Harry's citation: His research, bridging programming languages, software engineering, and human-computer interaction, lays the foundation for a new generation of practical, powerful PBT tools, with substantial impact across both academia and industry.
1
0
2
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
32
"A simpler, safer programming and execution model for intermittent systems" by Brandon Lucia and Benjamin Ransford. https://t.co/ESOQvwj9eh The work addresses significant consistency problems in the area of intermittent systems and dramatically simplifies their programming ⭐️
dl.acm.org
0
0
15
Every year at PLDI a paper published 10 years ago is recognized with an award due to having had significant influence in the field for these past 10 years! The PLDI '15 paper that received the award this year is ( 🥁 drum roll 🥁 ) ⬇️
1
4
10
Graduates: 🥉Prasanth Prahladan, University of Colorado, Boulder 🥈Jay Lee, Seoul National University 🥇Charles Averill, University of Texas at Dallas
0
0
6