Home Awards PLDI Distinguished Paper Award PLDI Distinguished Paper Award winners by year ACM SIGPLAN · paper · usually Jun · next expected Jun 2027 · 1 edition loaded
PLDI Distinguished Paper Award 2026 Announced Jun 2026 Winner What they do Source Bonsai: Compiling Queries to Pruned Tree Traversals Alexander J Root, Christophe Gyurgyik, Purvi Goel et al. Alexander J Root, Christophe Gyurgyik, Purvi Goel et al. Categorical Semantics of Probabilistic Symbolic Execution John M. Li, Jack Czenszak, Steven Holtzen John M. Li, Jack Czenszak, Steven Holtzen Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra Charles Yuan Charles Yuan Enumerating Ill-Typed Programs for Testing Type Analyzers Thodoris Sotiropoulos, Zhendong Su Thodoris Sotiropoulos, Zhendong Su MatchBox: A Semantic Foundation for Data Plane Portability Eric Campbell, Robert Zhang, Divyanshu Saxena et al. Eric Campbell, Robert Zhang, Divyanshu Saxena et al. Modular GPU Programming with Typed Perspectives Manya Bansal, Daniel Sainati, Joseph W. Cutler et al. Manya Bansal, Daniel Sainati, Joseph W. Cutler et al. Synthesizing Backward Error Bounds, Backward Laura Zielinski, Justin Hsu Laura Zielinski, Justin Hsu Towards Removing Undef Values From LLVM IR Pedro Lobo, John McIver, George Mitenkov et al. Pedro Lobo, John McIver, George Mitenkov et al. Verification of Recursively Defined Quantum Circuits Mingsheng Ying, Zhicheng Zhang Mingsheng Ying, Zhicheng Zhang VerusBelt: A Semantic Foundation for Verus's Proof-Oriented Extensions to the Rust Type System Travis Hance, Laila Elbeheiry, Yusuke Matsushita et al. Travis Hance, Laila Elbeheiry, Yusuke Matsushita et al.
Source: pldi26.sigplan.org/track/pldi-2026-papers
About this award
Edition Announced Winners 2026 Jun 2026 10
The next date is an estimate from the months past editions were announced (Jun); it changes when ACM SIGPLAN announces one.
Sources: each organizer's own list, linked on every winner, read monthly in each award's announcement window. A list is the organizer's judgment, not ours. Logos via logo.dev; trademarks belong to their owners.
