Yearbook · all 33 papers

pldb yearbook

ICFP Class of '23

33 graduates · cited 148× within PLDB

Most Likely to Succeed

A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized

cited 13× within PLDB · Abel et al.

Valedictorian

HasChor: Functional Choreographic Programming for All (Functional Pearl)

Distinguished Paper (one of 3 award winners) · Shen et al.

Late Bloomer

Etna: An Evaluation Platform for Property-Based Testing (Experience Report)

half of its 10 citations came 3+ years after it graduated · Shi et al.

Teacher's Pet

Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc

cites 9 other ICFP papers · Hubers & Morris

Biggest Group Project

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming

8 authors · Augustsson et al.

Class Clown

Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)

a Functional Pearl: officially fun · Jacobs et al.

Prom Couple

Reflecting on Random Generation & Etna: An Evaluation Platform for Property-Based…

cited together by 2 papers · Goldstein et al.; Shi 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.