Yearbook · all 35 papers

pldb yearbook

ICFP Class of '24

35 graduates · cited 98× within PLDB

Most Likely to Succeed

Oxidizing OCaml with Modal Memory Management

cited 16× within PLDB · Lorenzen et al.

Valedictorian

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs

Distinguished Paper (one of 4 award winners) · Aguirre et al.

Teacher's Pet

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs

cites 9 other ICFP papers · Xia et al.

Biggest Group Project

Synchronous Programming with Refinement Types

9 authors · Chen et al.

Class Clown

Dependent Ghosts Have a Reflection for Free

“for free”, a classic bit · Winterhalter

Prom Couple

Error Credits: Resourceful Reasoning about… & Almost-Sure Termination by Guarded Refinement

cited together by 4 papers · Aguirre et al.; Gregersen 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.