Yearbook · all 68 papers

pldb yearbook

PLDI Class of '22

68 graduates · cited 550× within PLDB

Most Likely to Succeed

RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code

cited 30× within PLDB · Matsushita et al.

Valedictorian

Finding typing compiler bugs

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

Late Bloomer

Lasagne: a static binary translator for weak memory model architectures

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

Teacher's Pet

A study of real-world data races in Golang

cites 15 other PLDI papers · Chabbi & Ramanathan

Biggest Group Project

Quartz: superoptimization of Quantum circuits

11 authors · Xu et al.

Class Clown

All you need is superword-level parallelism: systematic control-flow vectorization with SLP

“… is all you need” · Chen et al.

Prom Couple

Giallar: push-button verification for the… & Quartz: superoptimization of Quantum circuits

cited together by 8 papers · Tao et al.; Xu et al.

Ghosted

4% of the class (3 of 68)

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.