Yearbook · all 36 papers

pldb yearbook

POPL Class of '06

36 graduates · cited 854× within PLDB

Most Likely to Succeed & Valedictorian

Formal certification of a compiler back-end or: programming a compiler with a proof assistant

cited 168× within PLDB; Most Influential POPL Paper (awarded 2016) · Leroy

Late Bloomer

On flow-sensitive security types

half of its 25 citations came 11+ years after it graduated · Hunt & Sands

Teacher's Pet

Frame rules from answer types for code pointers

cites 11 other POPL papers · Thielecke

Biggest Group Project

A verifiable SSA program representation for aggressive compiler optimization

7 authors · Menon et al.

Class Clown

The next 700 data description languages

“the next 700”, a classic bit · Fisher et al.

Prom Couple

Autolocker: synchronization inference for… & Associating synchronization constraints with…

cited together by 15 papers · McCloskey et al.; Vaziri et al.

Ghosted

Nobody.

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

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

‹ Class of '05 (2005) Class of '07 (2007) ›

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.