Yearbook · all 66 papers

pldb yearbook

POPL Class of '17

66 graduates · cited 1,549× within PLDB

Most Likely to Succeed

Interactive proofs in higher-order concurrent separation logic

cited 101× within PLDB · Krebbers et al.

Late Bloomer

Polymorphism, subtyping, and type inference in MLsub

half of its 41 citations came 7+ years after it graduated · Dolan & Mycroft

Teacher's Pet

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems

cites 11 other POPL papers · Vitousek et al.

Biggest Group Project

Mixed-size concurrency: ARM, POWER, C/C++11, and SC

9 authors · Flur et al.

Class Clown

Dijkstra monads for free

“for free”, a classic bit · Ahman et al.

Prom Couple

Type directed compilation of row-typed… & Do be do be do

cited together by 49 papers · Leijen; Lindley et al.

Ghosted

3% of the class (2 of 66)

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

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

‹ Class of '16 (2016) Class of '18 (2018) ›

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.