pldb wrapped

CUChristian Urban

5 papers

cited 24×

cites 19

Reply guy/gal

APAndrei Popescu

cited you 3×

Mutuals

1. AMPAndrew M. Pitts2 ⇄ 2
2. ASAvraham Shinnar2 ⇄ 2
3. JSJérôme Siméon1 ⇄ 2
4. Stephanie Weirich1 ⇄ 2

you ⇄ them

Parasocial crush

ACAdam Chlipala

you: 2 · them: 0

Secret admirer

DTDmitriy Traytel

them: 2 · you: 0

Main character

General Bindings and Alpha-Equivalence in Nominal Isabelle

ESOP 2011 · cited 14×

Ratio'd

Scrap your nameplate: (functional pearl)

ICFP 2005 · cited 8× · by your 14×

Vintage

You cite like it's 2007

Deepest dig

Constraint Logic Programming

POPL 1987

Lamport number4

1. CUyou
2. JCJames Cheney
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. LLLeslie Lamport

Load-bearing co-author: James Cheney. Without them: 6.

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.