Yearbook · all 47 papers

pldb yearbook

POPL Class of '13

47 graduates · cited 884× within PLDB

Most Likely to Succeed & Valedictorian

Views: compositional reasoning for concurrent programs

cited 81× within PLDB; Most Influential POPL Paper (awarded 2023) · Dinsdale-Young…

Late Bloomer

Deadlock-freedom-by-design: multiparty asynchronous global programming

half of its 22 citations came 10+ years after it graduated · Carbone & Montesi

Teacher's Pet

The type discipline of behavioral separation

cites 9 other POPL papers · Caires & Seco

Biggest Group Project

Optimizing data structures in high-level programs: new directions for extensible compilers based on staging

9 authors · Rompf et al.

Class Clown

The geometry of types

shortest title in the class: 21 characters · Lago & Petit

Prom Couple

Views: compositional reasoning for concurrent… & Subjective auxiliary state for coarse-grained…

cited together by 18 papers · Dinsdale-Young et al.; Ley-Wild & Nanevski

Ghosted

9% of the class (4 of 47)

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

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

‹ Class of '12 (2012) Class of '14 (2014) ›

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.