pldb wrapped

DWDavid Walker

50 papers

cited 833×

cites 438

Reply guy/gal

LBLars Birkedal

cited you 20×

Mutuals

1. SGSumit Gulwani14 ⇄ 13
2. AAAlex Aiken11 ⇄ 11
3. LBLars Birkedal11 ⇄ 20
4. Isil Dillig10 ⇄ 18
5. GCNGeorge C. Necula17 ⇄ 8

you ⇄ them

Parasocial crush

MTMads Tofte

you: 13 · them: 0

Secret admirer

AAAmal Ahmed

them: 16 · you: 0

Main character

From system F to typed assembly language

TOPLAS 1999 · cited 124×

Ratio'd

Abstract Types Have Existential Type

TOPLAS 1988 · cited 116× · by your 124×

Vintage

You cite like it's 2004

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Early adopter

cited 2 papers before they were published

e.g. PolyAML: a polymorphic aspect-oriented… (2005) → Boxy types: inference for higher-rank types and… (ICFP 2006)

Lamport number3

1. DWyou
2. JGMJ. Gregory Morrisett
3. FBSFred B. Schneider
4. LLLeslie Lamport

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.