Yearbook · all 93 papers

pldb yearbook

POPL Class of '24

93 graduates · cited 441× within PLDB

Most Likely to Succeed

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

cited 17× within PLDB · Gregersen et al.

Valedictorian

Modular Denotational Semantics for Effects with Guarded Interaction Trees

Distinguished Paper (one of 9 award winners) · Frumin et al.

Teacher's Pet

On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

cites 16 other POPL papers · Krishna et al.

Biggest Group Project

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets

8 authors · Ackerman et al.

Class Clown

A Core Calculus for Documents: Or, Lambda: The Ultimate Document

“the ultimate”, a classic bit · Crichton & Krishnamurthi

Prom Couple

Predictive Monitoring against Pattern Regular… & Coarser Equivalences for Causal Concurrency

cited together by 6 papers · Ang & Mathur; Farzan & Mathur

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.