Yearbook · all 30 papers

pldb yearbook

POPL Class of '85

30 graduates · cited 397× within PLDB

Most Likely to Succeed

Checking That Finite State Concurrent Programs Satisfy Their Linear Specification

cited 85× within PLDB · Lichtenstein & Pnueli

Late Bloomer

Incremental Compilation of Locally Optimized Code

half of its 6 citations came 31+ years after it graduated · Pollock & Soffa

Teacher's Pet

Constant Propagation with Conditional Branches

cites 5 other POPL papers · Wegman & Zadeck

Biggest Group Project

Principles of OBJ2

4 authors · Futatsugi et al.

Class Clown

Modalities for Model Checking: Branching Time Strikes Back

a sequel: “strikes back” · Emerson & Lei

Prom Couple

Modalities for Model Checking: Branching Time… & Checking That Finite State Concurrent Programs…

cited together by 9 papers · Emerson & Lei; Lichtenstein & Pnueli

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 '84 (1984) Class of '86 (1986) ›

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.