Yearbook · all 55 papers

pldb yearbook

POPL Class of '14

55 graduates · cited 1,115× within PLDB

Most Likely to Succeed & Valedictorian

CakeML: a verified implementation of ML

cited 131× within PLDB; Most Influential POPL Paper (awarded 2024) · Kumar et al.

Late Bloomer

Parametric effect monads and semantics of effect systems

half of its 48 citations came 8+ years after it graduated · Katsumata

Teacher's Pet

A Galois connection calculus for abstract interpretation

cites 10 other POPL papers · Cousot & Cousot

Biggest Group Project

A verified information-flow architecture

9 authors · Amorim et al.

Class Clown

Proofs that count

shortest title in the class: 17 characters · Farzan et al.

Prom Couple

Counter-factual typing for debugging type errors & Toward general diagnosis of static errors

cited together by 14 papers · Chen & Erwig; Zhang & Myers

Ghosted

2% of the class (1 of 55)

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

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

‹ Class of '13 (2013) Class of '15 (2015) ›

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.