Yearbook · all 108 papers

pldb yearbook

PLDI Class of '26

108 graduates · cited 16× within PLDB

Most Likely to Succeed

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types

cited 3× within PLDB · Jia et al.

Valedictorian

Bonsai: Compiling Queries to Pruned Tree Traversals

Distinguished Paper (one of 11 award winners) · Root et al.

Teacher's Pet

Exploiting Sophisticated Static Analysis for Verilog

cites 19 other PLDI papers · Chen et al.

Biggest Group Project

CRIS: The Power of Imagination in Hybrid Verification

12 authors · Kim et al.

Class Clown

Soteria: Efficient Symbolic Execution as a Functional Library: Perhaps You Should Write Your Own Symbolic Execution Engine!

shouted in its title · Ayoun et al.

pldb.kirancodes.me/fun/yearbook · within PLDB

‹ Class of '25 (2025)

Citations are between papers within PLDB, one per pair, newer versions of the same paper excluded. Late Bloomer needs 5+ citations; Ghosted is hidden for the last three classes, who are still being read. Older classes have thinner citation data.