PLDI Distinguished Paper Award winners by year

ACM SIGPLAN · Paper award · usually Jun · next expected Jun 2027

Official page

Winners

Bonsai: Compiling Queries to Pruned Tree TraversalsAlexander J Root, Christophe Gyurgyik, Purvi Goel et al.2026Source ↗

Categorical Semantics of Probabilistic Symbolic ExecutionJohn M. Li, Jack Czenszak, Steven Holtzen2026Source ↗

Cobble: Compiling Block Encodings for Quantum Computational Linear AlgebraCharles Yuan2026Source ↗

Enumerating Ill-Typed Programs for Testing Type AnalyzersThodoris Sotiropoulos, Zhendong Su2026Source ↗

MatchBox: A Semantic Foundation for Data Plane PortabilityEric Campbell, Robert Zhang, Divyanshu Saxena et al.2026Source ↗

Modular GPU Programming with Typed PerspectivesManya Bansal, Daniel Sainati, Joseph W. Cutler et al.2026Source ↗

Synthesizing Backward Error Bounds, BackwardLaura Zielinski, Justin Hsu2026Source ↗

Towards Removing Undef Values From LLVM IRPedro Lobo, John McIver, George Mitenkov et al.2026Source ↗

Verification of Recursively Defined Quantum CircuitsMingsheng Ying, Zhicheng Zhang2026Source ↗

VerusBelt: A Semantic Foundation for Verus's Proof-Oriented Extensions to the Rust Type SystemTravis Hance, Laila Elbeheiry, Yusuke Matsushita et al.2026Source ↗

About this award

Up to 10 percent of papers accepted to the ACM SIGPLAN Conference on Programming Language Design and Implementation are named Distinguished Papers for relevance, originality, significance and clarity.

Edition	Announced	Winners	Source
2026	Jun 20265 months ago	10

The next date is an estimate from the months past editions were announced (Jun); it changes when ACM SIGPLAN announces one.

New winnersSep 25, 202610 papers named in the 2026 edition.

Award addedSep 25, 2026Now tracked: Up to 10 percent of papers accepted to the ACM SIGPLAN Conference on Programming Language Design and Implementation are named Distinguished Papers for relevance, originality, significance and clarity.