Yearbook · all 48 papers

pldb yearbook

POPL Class of '12

48 graduates · cited 843× within PLDB

Most Likely to Succeed

Formalizing the LLVM intermediate representation for verified program transformations

cited 73× within PLDB · Zhao et al.

Valedictorian

Multiple facets for dynamic information flow

Most Influential POPL Paper (awarded 2022) · Austin & Flanagan

Late Bloomer

On the power of coercion abstraction

half of its 6 citations came 12+ years after it graduated · Cretin & Rémy

Teacher's Pet

An abstract interpretation framework for termination

cites 8 other POPL papers · Cousot & Cousot

Biggest Group Project

Run your research: on the effectiveness of lightweight mechanization

10 authors · Klein et al.

Class Clown

Edit lenses

shortest title in the class: 11 characters · Hofmann et al.

Prom Couple

An executable formal semantics of C with… & Formalizing the LLVM intermediate…

cited together by 7 papers · Ellison & Rosu; Zhao et al.

Ghosted

10% of the class (5 of 48)

never cited within PLDB. No names. We're not monsters.

pldb.kirancodes.me/fun/yearbook · within PLDB

‹ Class of '11 (2011) Class of '13 (2013) ›

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.