Yearbook · all 36 papers

pldb yearbook

ICFP Class of '25

36 graduates · cited 38× within PLDB

Most Likely to Succeed

Type Theory in Type Theory using a Strictified Syntax

cited 5× within PLDB · Kaposi & Pujet

Valedictorian

Multi-stage Programming with Splice Variables

Distinguished Paper (one of 4 award winners) · Chiang & Xie

Teacher's Pet

Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages

cites 10 other ICFP papers · Carr et al.

Biggest Group Project

SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F

7 authors · Andrici et al.

Class Clown

Linear Types with Dynamic Multiplicities in Dependent Type Theory (Functional Pearl)

a Functional Pearl: officially fun · Doré

Prom Couple

Bialgebraic Reasoning on Stateful Languages & Big Steps in Higher-Order Mathematical…

cited together by 2 papers · Goncharov et al.; Goncharov et al.

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.