Yearbook · all 68 papers

pldb yearbook

POPL Class of '20

68 graduates · cited 1,096× within PLDB

Most Likely to Succeed

Incorrectness logic

cited 82× within PLDB · O'Hearn

Valedictorian

Interaction trees: representing recursive and impure programs in Coq

Distinguished Paper (one of 6 award winners) · Xia et al.

Late Bloomer

Relational proofs for quantum programs

half of its 16 citations came 5+ years after it graduated · Barthe et al.

Teacher's Pet

The next 700 relational program logics

cites 22 other POPL papers · Maillard et al.

Biggest Group Project

The future is ours: prophecy variables in separation logic

7 authors · Jung et al.

Class Clown

Coq Coq correct! verification of type checking and erasure for Coq, in Coq

shouted in its title · Sozeau et al.

Prom Couple

CompCertM: CompCert with C-assembly linking and… & Interaction trees: representing recursive and…

cited together by 12 papers · Song et al.; Xia et al.

Ghosted

1% of the class (1 of 68)

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.