Yearbook · all 35 papers

pldb yearbook

ICFP Class of '21

35 graduates · cited 273× within PLDB

Most Likely to Succeed

Modular, compositional, and executable formal semantics for LLVM IR

cited 21× within PLDB · Zakowski et al.

Valedictorian

Theorems for free from separation logic specifications

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

Late Bloomer

Of JavaScript AOT compilation performance

half of its 9 citations came 4+ years after it graduated · Serrano

Teacher's Pet

Efficient tree-traversals: reconciling parallelism and dense data representations

cites 9 other ICFP papers · Koparkar et al.

Biggest Group Project

Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming

8 authors · Paszke et al.

Class Clown

Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl)

a Functional Pearl: officially fun · Chlipala

Prom Couple

Theorems for free from separation logic… & Formal verification of a concurrent bounded…

cited together by 7 papers · Birkedal et al.; Mével & Jourdan

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 '20 (2020) Class of '22 (2022) ›

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.