pldb wrapped

MJPMatthew J. Parkinson

43 papers

cited 781×

cites 493

Reply guy/gal

Derek Dreyer

cited you 51×

Mutuals

1. XFXinyu Feng16 ⇄ 14
2. LBLars Birkedal13 ⇄ 39
3. Derek Dreyer12 ⇄ 51
4. MSMooly Sagiv12 ⇄ 18
5. ANAleksandar Nanevski11 ⇄ 30

you ⇄ them

Parasocial crush

JGMJ. Gregory Morrisett

you: 23 · them: 0

Secret admirer

RKRobbert Krebbers

them: 42 · you: 0

Main character

Permission accounting in separation logic

POPL 2005 · cited 119×

Ratio'd

Ownership, encapsulation and the disjointness of type and effect

OOPSLA 2002 · cited 75× · by your 94×

Vintage

You cite like it's 2008

Deepest dig

Actor Induction and Meta-Evaluation

POPL 1973

Early adopter

cited 1 paper before they were published

e.g. Joins: A Case Study in Modular… (2013) → Impredicative Concurrent Abstract Predicates (ESOP 2014)

Lamport number3

1. MJPyou
2. GMBGavin M. Bierman
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Gavin M. Bierman. Without them: 4.

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.