Yearbook · all 37 papers

pldb yearbook

ICFP Class of '15

37 graduates · cited 415× within PLDB

Most Likely to Succeed

Pilsner: a compositionally verified compiler for a higher-order imperative language

cited 41× within PLDB · Neis et al.

Valedictorian

1ML - core and modules united (F-ing first-class modules)

Most Influential ICFP Paper (awarded 2025) · Rossberg

Late Bloomer

RRB vector: a practical general purpose immutable sequence

half of its 10 citations came 9+ years after it graduated · Stucki et al.

Teacher's Pet

Applicative bidirectional programming with lenses

cites 9 other ICFP papers · Matsuda & Wang

Biggest Group Project

Pycket: a tracing JIT for a functional language

7 authors · Bauman et al.

Class Clown

Noninterference for free

“for free”, a classic bit · Bowman & Ahmed

Prom Couple

Analysing the complexity of functional… & Denotational cost semantics for functional…

cited together by 12 papers · Avanzini et al.; Danner et al.

Ghosted

8% of the class (3 of 37)

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.