PLDI
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!
November 17, 2025 at 11:35 PM
🎉PLDI'26 is already off to an incredible start, with a record breaking 398 paper submissions this year!🎉Let the reviewing fun begin!
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: pldi26.sigplan.org/track/pldi-2....
November 11, 2025 at 5:59 PM
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: pldi26.sigplan.org/track/pldi-2....
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: pldi26.sigplan.org/track/pldi-2....
November 8, 2025 at 2:24 AM
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: pldi26.sigplan.org/track/pldi-2....
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: pldi26.sigplan.org/track/pldi-2.... The proposal submission deadlines are Nov. 14 with proceedings and Nov. 24 otherwise.
PLDI 2026 - PLDI Workshops and Tutorials - PLDI 2026
Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)!
PLDI is the premier forum in the field of programming languages and programmi...
pldi26.sigplan.org
October 27, 2025 at 5:00 PM
Make sure to submit your co-located workshop and/or tutorial proposals to PLDI'26 by Nov. 14 with proceedings and Nov. 24 otherwise!
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: pldi26.sigplan.org/track/pldi-2.... The deadline to submit a paper is Nov. 13th!
PLDI 2026 - PLDI Research Papers - PLDI 2026
Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)!
PLDI is the premier forum in the field of programming languages and programmi...
pldi26.sigplan.org
October 18, 2025 at 7:35 PM
Don't forget to submit your awesome new programming languages research to PLDI'26 on Nov. 13th!
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: pldi26.sigplan.org/track/pldi-2.... The proposal submission deadlines are Nov. 14 with proceedings and Nov. 24 otherwise.
PLDI 2026 - PLDI Workshops and Tutorials - PLDI 2026
Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)!
PLDI is the premier forum in the field of programming languages and programmi...
pldi26.sigplan.org
October 8, 2025 at 7:47 PM
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: pldi26.sigplan.org/track/pldi-2.... The proposal submission deadlines are Nov. 14 with proceedings and Nov. 24 otherwise.
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: pldi26.sigplan.org/track/pldi-2.... The deadline to submit a paper is Nov. 13th!
PLDI 2026 - PLDI Research Papers - PLDI 2026
Welcome to the home page of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026)!
PLDI is the premier forum in the field of programming languages and programmi...
pldi26.sigplan.org
September 24, 2025 at 4:40 PM
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: pldi26.sigplan.org/track/pldi-2.... The deadline to submit a paper is Nov. 13th!
Reposted by PLDI
@sigplan-pldi.bsky.social was an absolute blast this year and had a lot of interesting conversations and papers! I've written down a little retrospective reflecting on some of them: people.csail.mit.edu/rachit/post/...
Reflecting on PLDI 2025 | Rachit Nigam
people.csail.mit.edu
July 7, 2025 at 1:07 PM
@sigplan-pldi.bsky.social was an absolute blast this year and had a lot of interesting conversations and papers! I've written down a little retrospective reflecting on some of them: people.csail.mit.edu/rachit/post/...
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!
The website is already up (pldi26.sigplan.org) so stay tuned for more updates!
July 1, 2025 at 11:39 AM
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!
The website is already up (pldi26.sigplan.org) so stay tuned for more updates!
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 :-)
June 28, 2025 at 7:56 AM
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 :-)
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 ( @idillig.bsky.social ), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️
June 28, 2025 at 4:15 AM
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 ( @idillig.bsky.social ), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️
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, which has had and continues to have broad impact on mathematics, hardware and software verification, and AI!
June 28, 2025 at 4:04 AM
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, which has had and continues to have broad impact on mathematics, hardware and software verification, and AI!
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 ⬇️
The awardees are: Harrison Goldstein from the University of Pennsylvania and Rachit Nigam from Cornell University. More info ⬇️
June 28, 2025 at 3:56 AM
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 ⬇️
The awardees are: Harrison Goldstein from the University of Pennsylvania and Rachit Nigam from Cornell University. More info ⬇️
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 🥁 ) ⬇️
June 26, 2025 at 2:29 PM
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 🥁 ) ⬇️
This year's PLDI student research competition was also a success, with several interesting projects presented by graduate and undergraduate students! Here are the three winners for each category (undergraduate and graduate) ⬇️
June 24, 2025 at 2:38 PM
This year's PLDI student research competition was also a success, with several interesting projects presented by graduate and undergraduate students! Here are the three winners for each category (undergraduate and graduate) ⬇️
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/...
- A Hybrid Approach to Semi-automated Rust Verification dl.acm.org/doi/10.1145/...
- Verified Foundations for Differential Privacy dl.acm.org/doi/10.1145/...
- A Hybrid Approach to Semi-automated Rust Verification dl.acm.org/doi/10.1145/...
June 24, 2025 at 2:28 PM
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/...
- A Hybrid Approach to Semi-automated Rust Verification dl.acm.org/doi/10.1145/...
- Verified Foundations for Differential Privacy dl.acm.org/doi/10.1145/...
- A Hybrid Approach to Semi-automated Rust Verification dl.acm.org/doi/10.1145/...
Let's thank all the PLDI reviewers for helping make the PLDI program! Providing constructive and thoughtful reviews helps improve the work in our community regardless of whether it makes it in PLDI!
The following reviewers went above and beyond with their review quality ⬇️
The following reviewers went above and beyond with their review quality ⬇️
June 23, 2025 at 10:54 AM
Let's thank all the PLDI reviewers for helping make the PLDI program! Providing constructive and thoughtful reviews helps improve the work in our community regardless of whether it makes it in PLDI!
The following reviewers went above and beyond with their review quality ⬇️
The following reviewers went above and beyond with their review quality ⬇️
Don't forget to read the PLDI papers now that the conference is over! If you don't know where to start, you can read one of the 6 papers that received a distinguished paper award! See the full list in no particular order below ⬇️
June 23, 2025 at 10:47 AM
Don't forget to read the PLDI papers now that the conference is over! If you don't know where to start, you can read one of the 6 papers that received a distinguished paper award! See the full list in no particular order below ⬇️
Reposted by PLDI
Incredibly grateful to @sigplan.bsky.social and @sigplan-pldi.bsky.social for awarding #LeanLang the Programming Languages Software Award 2025 at #PLDI2025!
#LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification
#LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification
June 20, 2025 at 4:04 AM
Incredibly grateful to @sigplan.bsky.social and @sigplan-pldi.bsky.social for awarding #LeanLang the Programming Languages Software Award 2025 at #PLDI2025!
#LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification
#LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification
Ready for PLDI? ✈️ Checkout the the incredibly detailed PLDI 25 travel guide created by Nuno Lopes. It includes tips on flights, transportation, local SIM cards, cultural norms, and even suggestions for things to do and see around the city: web.ist.utl.pt/nuno.lopes/p...
PLDI 2025 Travel Guide
web.ist.utl.pt
June 14, 2025 at 5:39 PM
Ready for PLDI? ✈️ Checkout the the incredibly detailed PLDI 25 travel guide created by Nuno Lopes. It includes tips on flights, transportation, local SIM cards, cultural norms, and even suggestions for things to do and see around the city: web.ist.utl.pt/nuno.lopes/p...
Are you ready for PLDI next week? The best part about it is seeing old friends 👯 and making new ones! But how will your friends know you are going? Let them know by making a post using the #pldi25 tag or mentioning us @sigplan-pldi.bsky.social 🌟
June 12, 2025 at 5:43 PM
Are you ready for PLDI next week? The best part about it is seeing old friends 👯 and making new ones! But how will your friends know you are going? Let them know by making a post using the #pldi25 tag or mentioning us @sigplan-pldi.bsky.social 🌟
Remember to book your hotel room for PLDI when you get a chance :) If you are staying at the conference hotel, use this link to book a room with the PLDI block rate (www.marriott.com/event-reserv...).
Reservation-Link
www.marriott.com
May 20, 2025 at 11:15 PM
Remember to book your hotel room for PLDI when you get a chance :) If you are staying at the conference hotel, use this link to book a room with the PLDI block rate (www.marriott.com/event-reserv...).
Don't forget to register for PLDI (pldi25.sigplan.org/attending/re...) !! You still have time until the early registration discounts end (May 17). Our program committee has accepted a great set of papers and there will also be very interesting workshops and tutorials 🌟
Registration - PLDI 2025
Welcome to the home page of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025)!
PLDI is the premier forum in the field of programming languages and programm...
pldi25.sigplan.org
May 11, 2025 at 6:26 PM
Don't forget to register for PLDI (pldi25.sigplan.org/attending/re...) !! You still have time until the early registration discounts end (May 17). Our program committee has accepted a great set of papers and there will also be very interesting workshops and tutorials 🌟
Check out our ✨ fantastic ✨ list of accepted papers (pldi25.sigplan.org/track/pldi-2...)! You still have time to book your tickets to Seoul and watch the PLDI talks live!
PLDI 2025 - PLDI Research Papers - PLDI 2025
Welcome to the home page of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025)!
PLDI is the premier forum in the field of programming languages and programm...
pldi25.sigplan.org
May 6, 2025 at 5:33 PM
Check out our ✨ fantastic ✨ list of accepted papers (pldi25.sigplan.org/track/pldi-2...)! You still have time to book your tickets to Seoul and watch the PLDI talks live!
Reposted by PLDI
PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl...
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
PLMW @ PLDI 2025 - Programming Languages Mentoring Workshop - PLDI 2025
The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...
pldi25.sigplan.org
March 28, 2025 at 3:56 AM
PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl...
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!
Deadline: April 10, 2025
PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends!
Please apply!