pldb wrapped

JCRJohn C. Reynolds

9 papers

cited 167×

cites 55

Reply guy/gal

JGMJ. Gregory Morrisett

cited you 11×

Mutuals

1. JGMJ. Gregory Morrisett8 ⇄ 11
2. DWDavid Walker6 ⇄ 6
3. MJPMatthew J. Parkinson5 ⇄ 8
4. CCCristiano Calcagno4 ⇄ 5
5. LBLars Birkedal4 ⇄ 9

you ⇄ them

Parasocial crush

MTMads Tofte

you: 4 · them: 0

Secret admirer

ZSZhong Shao

them: 6 · you: 0

Main character

Separation and information hiding

POPL 2004 · cited 68×

Ratio'd

Simple Type-Theoretic Foundations for Object-Oriented Programming

JFP 1994 · cited 47× · by your 68×

Vintage

You cite like it's 2001

Deepest dig

A Lazy Evaluator

POPL 1976

Early adopter

cited 3 papers before they were published

e.g. Separation and information hiding (2004) → Permission accounting in separation logic (POPL 2005)

Lamport number4

1. JCRyou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. 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.