Yearbook · all 37 papers

pldb yearbook

ICFP Class of '20

37 graduates · cited 401× within PLDB

Most Likely to Succeed

Program sketching with live bidirectional evaluation

cited 29× within PLDB · Lubin et al.

Valedictorian

Retrofitting parallelism onto OCaml

Distinguished Paper (one of 4 award winners) · Sivaramakrishnan et al.

Late Bloomer

The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl)

half of its 25 citations came 5+ years after it graduated · Parreaux

Teacher's Pet

Staged selective parser combinators

cites 8 other ICFP papers · Willis et al.

Biggest Group Project

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

6 authors · Swamy et al.

Class Clown

Separation logic for sequential programs (functional pearl)

a Functional Pearl: officially fun · Charguéraud

Prom Couple

Compiling effect handlers in capability-passing… & Effect handlers, evidently

cited together by 9 papers · Schuster et al.; Xie et al.

Ghosted

3% of the class (1 of 37)

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

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

‹ Class of '19 (2019) Class of '21 (2021) ›

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.