pldb wrapped

TKTobias Kappé

10 papers

cited 15×

cites 83

Reply guy/gal

ABAnita Buckley

cited you 3×

Mutuals

1. CSCole Schlesinger10 ⇄ 2
2. David Darais2 ⇄ 2
3. MMMark Moeller2 ⇄ 2
4. OSBOlivier Savary Bélanger2 ⇄ 2
5. Alexandra Silva1 ⇄ 1

you ⇄ them

Parasocial crush

Arjun Guha

you: 8 · them: 0

Secret admirer

PEPatrick Eugster

them: 3 · you: 0

Main character

Guarded Kleene algebra with tests: verification of uninterpreted programs in…

POPL 2020 · cited 10×

Vintage

You cite like it's 2014

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number3

1. TKyou
2. JGMJ. Gregory Morrisett
3. FBSFred B. Schneider
4. LLLeslie Lamport

Load-bearing co-author: J. Gregory Morrisett. 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.