pldb wrapped

JKJonas Kaiser

3 papers

cited 23×

cites 23

Reply guy/gal

YFYannick Forster

cited you 4×

Mutuals

1. GAGuillaume Allais3 ⇄ 3
2. CMConor McBride3 ⇄ 2
3. JCJames Chapman3 ⇄ 2
4. JMJames McKinna3 ⇄ 2
5. BPBrigitte Pientka1 ⇄ 1

you ⇄ them

Parasocial crush

JLJean-Jacques Lévy

you: 3 · them: 0

Secret admirer

DSDmitrij Szamozvancev

them: 2 · you: 0

Main character

Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector…

CPP 2019 · cited 17×

Ratio'd

Type-and-scope safe programs and their proofs

CPP 2017 · cited 16× · by your 17×

Vintage

You cite like it's 2011

Deepest dig

Higher-Order Abstract Syntax

PLDI 1988

Lamport number6

1. JKyou
2. KSKathrin Stark
3. AWAAndrew W. Appel
4. DWDavid Walker
5. JGMJ. Gregory Morrisett
6. FBSFred B. Schneider
7. 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.