Yearbook · all 92 papers

pldb yearbook

POPL Class of '26

92 graduates · cited 50× within PLDB

Most Likely to Succeed

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants

cited 5× within PLDB · Zilberstein et al.

Valedictorian

Normalisation for First-Class Universe Levels

Distinguished Paper (one of 8 award winners) · Danielsson et al.

Teacher's Pet

Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation

cites 17 other POPL papers · Mück et al.

Biggest Group Project

Probabilistic Programming with Vectorized Programmable Inference

11 authors · Becker et al.

Class Clown

What Is a Monoid?

asked the room a question · Levy & Rogers

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.