Lightnews — Scholar-powered news

PLDI

@sigplan-pldi.bsky.social

180 followers 4 following 49 posts

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.

pldi26.sigplan.org

Posts Media Videos Starter Packs

PLDI @sigplan-pldi.bsky.social · 16h

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

PLDI @sigplan-pldi.bsky.social · 14d

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

Reposted by PLDI

Rachit Nigam @notypes.bsky.social · Jul 7

@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

PLDI @sigplan-pldi.bsky.social · 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 @sigplan-pldi.bsky.social · 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 @sigplan-pldi.bsky.social · Jun 28

You can read the complete citation (which is very big to paste here) at the SIGPLAN website: www.sigplan.org/Awards/Milner/!

Robin Milner Young Researcher Award

www.sigplan.org

PLDI @sigplan-pldi.bsky.social · Jun 28

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.

PLDI @sigplan-pldi.bsky.social · Jun 28

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 ⭐️

PLDI @sigplan-pldi.bsky.social · Jun 28

You can read the full citation for the award here: www.sigplan.org/Awards/Softw..., and find more info about Lean here: lean-lang.org!

Programming Languages Software Award

www.sigplan.org

PLDI @sigplan-pldi.bsky.social · Jun 28

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!

PLDI @sigplan-pldi.bsky.social · Jun 28

You can see the full award information and past awardees here: www.sigplan.org/Awards/Disse...

John C. Reynolds Doctoral Dissertation Award

www.sigplan.org

PLDI @sigplan-pldi.bsky.social · Jun 28

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.

PLDI @sigplan-pldi.bsky.social · Jun 28

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.

PLDI @sigplan-pldi.bsky.social · Jun 28

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 ⬇️

PLDI @sigplan-pldi.bsky.social · Jun 26

"A simpler, safer programming and execution model for intermittent systems" by Brandon Lucia and Benjamin Ransford. dl.acm.org/doi/10.1145/...

The work addresses significant consistency problems in the area of intermittent systems and dramatically simplifies their programming ⭐️

A simpler, safer programming and execution model for intermittent systems | Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation

PLDI @sigplan-pldi.bsky.social · Jun 26

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 🥁 ) ⬇️

PLDI @sigplan-pldi.bsky.social · Jun 24

Graduates:
🥉Prasanth Prahladan, University of Colorado, Boulder
🥈Jay Lee, Seoul National University
🥇Charles Averill, University of Texas at Dallas

PLDI @sigplan-pldi.bsky.social · Jun 24

Undergraduates:
🥉Andrew Fox, University of Colorado, Boulder
🥈Liudmila Paskonova, Lomonosov Moscow State University
🥇Jam Kabeer Ali Khan, Max Planck Institute for Security and Privacy, and University of Hong Kong

PLDI @sigplan-pldi.bsky.social · Jun 24

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) ⬇️

PLDI @sigplan-pldi.bsky.social · 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/...
- A Hybrid Approach to Semi-automated Rust Verification dl.acm.org/doi/10.1145/...

PLDI @sigplan-pldi.bsky.social · Jun 23

These PC members received a distinguished reviewer award for having more than half of their reviews flagged positively:
- Aaron Bembenek
- Benjamin Delaware
- Chris Casinghino
- Colin Gordon
- Rohan Padhye

PLDI @sigplan-pldi.bsky.social · Jun 23

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 ⬇️

PLDI @sigplan-pldi.bsky.social · Jun 23

4. Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic (doi.org/10.1145/3729...)
5. Practical Type Inference with Levels (doi.org/10.1145/3729...)
6. AWDIT: An Optimal Weak Database Isolation Tester (doi.org/10.1145/3742...)

PLDI @sigplan-pldi.bsky.social · Jun 23

1. Destabilizing Iris (doi.org/10.1145/3729...)
2. Tree Borrows (doi.org/10.1145/3735...)
3. Principal Type Inference under a Prefix: A Fresh Look at Static Overloading (doi.org/10.1145/3729...)

PLDI @sigplan-pldi.bsky.social · Jun 23

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 ⬇️