Yearbook · all 48 papers

pldb yearbook

PLDI Class of '16

48 graduates · cited 935× within PLDB

Most Likely to Succeed

Program synthesis from polymorphic refinement types

cited 135× within PLDB · Polikarpova et al.

Valedictorian

Ivy: safety verification by interactive generalization

Most Influential PLDI Paper (awarded 2026) (one of 5 award winners) · Padon et al.

Late Bloomer

Coverage-directed differential testing of JVM implementations

half of its 60 citations came 7+ years after it graduated · Chen et al.

Teacher's Pet

Automatically learning shape specifications

cites 11 other PLDI papers · Zhu et al.

Biggest Group Project

Effective padding of multidimensional arrays to avoid cache conflict misses

8 authors · Hong et al.

Class Clown

Temporal NetKAT

shortest title in the class: 15 characters · Beckett et al.

Prom Couple

Program synthesis from polymorphic refinement… & MapReduce program synthesis

cited together by 24 papers · Polikarpova et al.; Smith & Albarghouthi

Ghosted

4% of the class (2 of 48)

never cited within PLDB. No names. We're not monsters.

pldb.kirancodes.me/fun/yearbook · within PLDB

‹ Class of '15 (2015) Class of '17 (2017) ›

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.