Yearbook · all 61 papers

pldb yearbook

POPL Class of '21

61 graduates · cited 667× within PLDB

Most Likely to Succeed

egg: Fast and extensible equality saturation

cited 73× within PLDB · Willsey et al.

Valedictorian

A verified optimizer for Quantum circuits

Distinguished Paper (one of 7 award winners) · Hietala et al.

Late Bloomer

Mechanized logical relations for termination-insensitive noninterference

half of its 13 citations came 5+ years after it graduated · Gregersen et al.

Teacher's Pet

Data flow refinement type inference

cites 14 other POPL papers · Pavlinovic et al.

Biggest Group Project

Petr4: formal foundations for p4 data planes

10 authors · Doenges et al.

Class Clown

Asynchronous effects

shortest title in the class: 20 characters · Ahman & Pretnar

Prom Couple

Taming x86-TSO persistency & PerSeVerE: persistency semantics for…

cited together by 6 papers · Khyzha & Lahav; Kokologiannakis et al.

Ghosted

Nobody.

Every paper in the class has been cited within PLDB. Wholesome.

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.