Yearbook · all 29 papers

pldb yearbook

POPL Class of '04

29 graduates · cited 909× within PLDB

Most Likely to Succeed & Valedictorian

Abstractions from proofs

cited 147× within PLDB; Most Influential POPL Paper (awarded 2014) · Henzinger et…

Late Bloomer

Simple relational correctness proofs for static analyses and program transformations

half of its 120 citations came 15+ years after it graduated · Benton

Teacher's Pet

Channel dependent types for higher-order mobile processes

cites 13 other POPL papers · Yoshida

Class Clown

A logic you can count on

shortest title in the class: 24 characters · Dal-Zilio et al.

Prom Couple

Precise interprocedural analysis through linear… & Non-linear loop invariant generation using…

cited together by 8 papers · Müller-Olm & Seidl; Sankaranarayanan et al.

Ghosted

Nobody.

Every paper in the class has been cited within PLDB. Wholesome.

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

‹ Class of '03 (2003) Class of '05 (2005) ›

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.