Yearbook · all 39 papers

pldb yearbook

ICFP Class of '19

39 graduates · cited 462× within PLDB

Most Likely to Succeed

Quantitative program reasoning with graded modal types

cited 53× within PLDB · Orchard et al.

Valedictorian

Cubical agda: a dependently typed programming language with univalence and higher inductive types

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

Late Bloomer

Closure conversion is safe for space

half of its 12 citations came 6+ years after it graduated · Paraskevopoulou & Appel

Teacher's Pet

A role for dependent types in Haskell

cites 12 other ICFP papers · Weirich et al.

Biggest Group Project

Rebuilding racket on chez scheme (experience report)

8 authors · Flatt et al.

Class Clown

The next 700 compiler correctness theorems (functional pearl)

a Functional Pearl: officially fun · Patterson & Ahmed

Prom Couple

Efficient differentiable programming in a… & Demystifying differentiable programming…

cited together by 12 papers · Shaikhha et al.; Wang et al.

Ghosted

3% of the class (1 of 39)

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

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

‹ Class of '18 (2018) Class of '20 (2020) ›

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.