Yearbook · all 40 papers

pldb yearbook

ICFP Class of '16

40 graduates · cited 551× within PLDB

Most Likely to Succeed

Higher-order ghost state

cited 91× within PLDB · Jung et al.

Late Bloomer

Oh Lord, please don't let contracts be misunderstood (functional pearl)

half of its 10 citations came 8+ years after it graduated · Dimoulas et al.

Teacher's Pet

Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis

cites 8 other ICFP papers · Gilray et al.

Biggest Group Project

Refinement through restraint: bringing down the cost of verification

9 authors · O'Connor et al.

Class Clown

Deriving a probability density calculator (functional pearl)

a Functional Pearl: officially fun · Ismail & Shan

Prom Couple

Talking bananas: structural recursion for… & Context-free session types

cited together by 8 papers · Lindley & Morris; Thiemann & Vasconcelos

Ghosted

10% of the class (4 of 40)

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

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

‹ Class of '15 (2015) Class of '17 (2017) ›

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.