Yearbook · all 89 papers

pldb yearbook

PLDI Class of '24

89 graduates · cited 330× within PLDB

Most Likely to Succeed

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties

cited 21× within PLDB · Dardinier & Müller

Valedictorian

Verified Extraction from Coq to OCaml

Best Paper (one of 2 award winners) · Forster et al.

Teacher's Pet

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis

cites 20 other PLDI papers · Yao et al.

Biggest Group Project

Wavefront Threading Enables Effective High-Level Synthesis

13 authors · Pelton et al.

Class Clown

Stream Types

shortest title in the class: 12 characters · Cutler et al.

Prom Couple

Hyper Hoare Logic: (Dis-)Proving Program… & Mechanised Hypersafety Proofs about Structured…

cited together by 5 papers · Dardinier & Müller; Gladshtein et al.

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

‹ Class of '23 (2023) Class of '25 (2025) ›

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.