Yearbook · all 74 papers

pldb yearbook

POPL Class of '23

74 graduates · cited 499× within PLDB

Most Likely to Succeed

Conditional Contextual Refinement

cited 24× within PLDB · Song et al.

Valedictorian

Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification

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

Late Bloomer

A Partial Order View of Message-Passing Communication Models

half of its 5 citations came 3+ years after it graduated · Giusto et al.

Teacher's Pet

DimSum: A Decentralized Approach to Multi-language Semantics and Verification

cites 15 other POPL papers · Sammler et al.

Biggest Group Project

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

11 authors · Michael et al.

Class Clown

Why Are Proofs Relevant in Proof-Relevant Models?

asked the room a question · Kerinec et al.

Prom Couple

DimSum: A Decentralized Approach to… & Conditional Contextual Refinement

cited together by 10 papers · Sammler et al.; Song et al.

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

‹ Class of '22 (2022) Class of '24 (2024) ›

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.