Yearbook · all 55 papers

pldb yearbook

POPL Class of '15

55 graduates · cited 1,217× within PLDB

Most Likely to Succeed & Valedictorian

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

cited 197× within PLDB; Most Influential POPL Paper (awarded 2025) · Jung et al.

Late Bloomer

Algebraic Effects, Linearity, and Quantum Programming Languages

half of its 17 citations came 8+ years after it graduated · Staton

Teacher's Pet

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

cites 13 other POPL papers · Barthe et al.

Biggest Group Project

Deep Specifications and Certified Abstraction Layers

8 authors · Gu et al.

Class Clown

Automating Repetitive Tasks for the Masses

“for the masses” · Gulwani

Prom Couple

Deep Specifications and Certified Abstraction… & Compositional CompCert

cited together by 23 papers · Gu et al.; Stewart et al.

Ghosted

5% of the class (3 of 55)

never cited within PLDB. No names. We're not monsters.

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

‹ Class of '14 (2014) Class of '16 (2016) ›

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.