Yearbook · all 79 papers

pldb yearbook

POPL Class of '25

79 graduates · cited 210× within PLDB

Most Likely to Succeed

Sound and Complete Proof Rules for Probabilistic Termination

cited 11× within PLDB · Majumdar & Sathiyanarayana

Valedictorian

Data Race Freedom à la Mode

Distinguished Paper (one of 7 award winners) · Georges et al.

Teacher's Pet

Approximate Relational Reasoning for Higher-Order Probabilistic Programs

cites 17 other POPL papers · Haselwarter et al.

Biggest Group Project

TensorRight: Automated Verification of Tensor Graph Rewrites

12 authors · Arora et al.

Class Clown

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types

asked the room a question · Udomsrirungruang & Yoshida

Prom Couple

Preservation of Speculative Constant-Time by… & SNIP: Speculative Execution and…

cited together by 4 papers · Arranz-Olmos et al.; Wall & Meyer

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

‹ Class of '24 (2024) Class of '26 (2026) ›

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.