Yearbook · all 216 papers

pldb yearbook

OOPSLA Class of '25

216 graduates · cited 178× within PLDB

Most Likely to Succeed

AutoVerus: Automated Proof Generation for Rust Code

cited 6× within PLDB · Yang et al.

Valedictorian

Revamping Verilog Semantics for Foundational Verification

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

Teacher's Pet

Reasoning about External Calls

cites 16 other OOPSLA papers · Drossopoulou et al.

Biggest Group Project

Interactive Bitvector Reasoning using Verified Bit-Blasting

11 authors · Böving et al.

Class Clown

Compositional Symbolic Execution for the Next 700 Memory Models

“the next 700”, a classic bit · Lööw et al.

Prom Couple

Denotational Foundations for Expected Cost… & Adequacy for Algebraic Effects Revisited

cited together by 3 papers · Amorim; Kavvos

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

‹ Class of '24 (2024) Class of '26 (2026) ›

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.