Yearbook · all 35 papers

pldb yearbook

ICFP Class of '12

35 graduates · cited 312× within PLDB

Most Likely to Succeed

Propositions as sessions

cited 53× within PLDB · Wadler

Valedictorian

Addressing covert termination and timing channels in concurrent information flow systems

Most Influential ICFP Paper (awarded 2022) · Stefan et al.

Late Bloomer

Proof-producing synthesis of ML from higher-order logic

half of its 8 citations came 10+ years after it graduated · Myreen & Owens

Teacher's Pet

Deconstraining DSLs

cites 6 other ICFP papers · Jones et al.

Biggest Group Project

A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud

6 authors · Foltzer et al.

Class Clown

Agda-curious?: an exploration of programming with dependent types

asked the room a question · McBride

Prom Couple

Functional programs that explain their work & Equality proofs and deferred type errors: a…

cited together by 3 papers · Perera et al.; Vytiniotis et al.

Ghosted

11% of the class (4 of 35)

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

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

‹ Class of '11 (2011) Class of '13 (2013) ›

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.