Yearbook · all 83 papers

pldb yearbook

PLDI Class of '23

83 graduates · cited 491× within PLDB

Most Likely to Succeed

Flux: Liquid Types for Rust

cited 27× within PLDB · Lehmann et al.

Valedictorian

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

Distinguished Paper (one of 8 award winners) · Chen et al.

Late Bloomer

VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A

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

Teacher's Pet

Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis

cites 15 other PLDI papers · Ma et al.

Biggest Group Project

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

12 authors · Kuepper et al.

Class Clown

Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?

asked the room a question · Yamazaki et al.

Prom Couple

Absynthe: Abstract Interpretation-Guided… & Inductive Program Synthesis via Iterative…

cited together by 5 papers · Guria et al.; Yoon 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.