Yearbook · all 35 papers

pldb yearbook

ICFP Class of '22

35 graduates · cited 217× within PLDB

Most Likely to Succeed

Aeneas: Rust verification by functional translation

cited 35× within PLDB · Ho & Protzenko

Valedictorian

Entanglement detection with near-zero cost

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

Late Bloomer

Flexible presentations of graded monads

half of its 6 citations came 4+ years after it graduated · Katsumata et al.

Teacher's Pet

Program adverbs and Tlön embeddings

cites 10 other ICFP papers · Li & Weirich

Biggest Group Project

Later credits: resourceful reasoning for the later modality

7 authors · Spies et al.

Class Clown

'do' unchained: embracing local imperativity in a purely functional language (functional pearl)

a Functional Pearl: officially fun · Ullrich & Moura

Prom Couple

Propositional equality for gradual dependently… & A reasonably gradual type theory

cited together by 3 papers · Eremondi et al.; Maillard 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 '21 (2021) Class of '23 (2023) ›

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.