Yearbook · all 41 papers

pldb yearbook

POPL Class of '10

41 graduates · cited 1,115× within PLDB

Most Likely to Succeed & Valedictorian

From program verification to program synthesis

cited 80× within PLDB; Most Influential POPL Paper (awarded 2020) · Srivastava et…

Late Bloomer

Verified just-in-time compiler on x86

half of its 22 citations came 10+ years after it graduated · Myreen

Teacher's Pet

A relational modal logic for higher-order stateful ADTs

cites 11 other POPL papers · Dreyer et al.

Biggest Group Project

Reconfigurable asynchronous logic automata: (RALA)

8 authors · Gershenfeld et al.

Class Clown

Monads in action

shortest title in the class: 16 characters · Filinski

Prom Couple

Threesomes, with and without blame & Integrating typed and untyped code in a…

cited together by 12 papers · Siek & Wadler; Wrigstad et al.

Ghosted

2% of the class (1 of 41)

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

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

‹ Class of '09 (2009) Class of '11 (2011) ›

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.