Yearbook · all 30 papers

pldb yearbook

POPL Class of '02

30 graduates · cited 1,276× within PLDB

Most Likely to Succeed

Lazy abstraction

cited 297× within PLDB · Henzinger et al.

Valedictorian

CCured: type-safe retrofitting of legacy code

Most Influential POPL Paper (awarded 2012) · Necula et al.

Late Bloomer

The first-order theory of subtyping constraints

half of its 10 citations came 17+ years after it graduated · Su et al.

Teacher's Pet

A type system for certified binaries

cites 11 other POPL papers · Shao et al.

Biggest Group Project

Exploiting prolific types for memory management and optimizations

4 authors · Shuf et al.

Class Clown

Role analysis

shortest title in the class: 13 characters · Kuncak et al.

Prom Couple

The SLAM project: debugging system software via… & Lazy abstraction

cited together by 83 papers · Ball & Rajamani; Henzinger et al.

Ghosted

7% of the class (2 of 30)

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

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

‹ Class of '01 (2001) Class of '03 (2003) ›

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.