Yearbook · all 25 papers

pldb yearbook

POPL Class of '80

25 graduates · cited 157× within PLDB

Most Likely to Succeed

Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables

cited 32× within PLDB · Weihl

Late Bloomer

Theoretical and Emperical Studies on Using Program Mutation to Test the Functional Correctness of Programs

half of its 6 citations came 33+ years after it graduated · Budd et al.

Teacher's Pet

A Case Study in Specifying the Semantics of a Programming Language

cites 4 other POPL papers · Sethi

Biggest Group Project

On the Temporal Analysis of Fairness

4 authors · Gabbay et al.

Class Clown

On Specifying Verifiers

shortest title in the class: 23 characters · Pratt

Prom Couple

On the Temporal Analysis of Fairness & "Sometime" is Sometimes "Not Never" - On the…

cited together by 5 papers · Gabbay et al.; Lamport

Ghosted

20% of the class (5 of 25)

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

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

‹ Class of '79 (1979) Class of '81 (1981) ›

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.