Yearbook · all 31 papers

pldb yearbook

POPL Class of '05

31 graduates · cited 1,262× within PLDB

Most Likely to Succeed

The Java memory model

cited 191× within PLDB · Manson et al.

Valedictorian

Combinators for bi-directional tree transformations: a linguistic approach to the view update problem

Most Influential POPL Paper (awarded 2015) · Foster et al.

Late Bloomer

Communicating quantum processes

half of its 10 citations came 15+ years after it graduated · Gay & Nagarajan

Teacher's Pet

Automated soundness proofs for dataflow analyses and transformations via local rules

cites 9 other POPL papers · Lerner et al.

Biggest Group Project

A semantics for procedure local heaps and its abstractions

5 authors · Rinetzky et al.

Class Clown

Associated types with class

second-shortest title in the class: 27 characters · Chakravarty et al.

Prom Couple

Permission accounting in separation logic & Separation logic and abstraction

cited together by 22 papers · Bornat et al.; Parkinson & Bierman

Ghosted

Nobody.

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

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

‹ Class of '04 (2004) Class of '06 (2006) ›

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.