pldb wrapped

GPGilles Peskine

3 papers

cited 78×

cites 45

Reply guy/gal

Stephanie Weirich

cited you 12×

Mutuals

1. Stephanie Weirich6 ⇄ 12
2. BCPBenjamin C. Pierce7 ⇄ 3
3. ACArthur Charguéraud2 ⇄ 2
4. MAMair Allen-Williams2 ⇄ 2
5. PHPierre Habouzit2 ⇄ 2

you ⇄ them

Parasocial crush

RHRobert Harper

you: 6 · them: 0

Secret admirer

RAERichard A. Eisenberg

them: 5 · you: 0

Main character

Ott: Effective tool support for the working semanticist

JFP 2010 · cited 44×

Ratio'd

Towards a mechanized metatheory of standard ML

POPL 2007 · cited 34× · by your 44×

Vintage

You cite like it's 2002

Deepest dig

Abstract Types Have Existential Type

TOPLAS 1988

Early adopter

cited 1 paper before they were published

e.g. Ott: effective tool support for the… (2007) → Engineering formal metatheory (POPL 2008)

Lamport number4

1. GPyou
2. SSSusmit Sarkar
3. RARajeev Alur
4. RPKRobert P. Kurshan
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.