pldb wrapped

DKDeokhwan Kim

4 papers

cited 54×

cites 91

Reply guy/gal

EKEric Koskinen

cited you 7×

Mutuals

1. Isil Dillig7 ⇄ 4
2. YWYuepeng Wang3 ⇄ 2
3. Adrian Sampson1 ⇄ 1
4. AGArie Gurfinkel1 ⇄ 1
5. ASArmando Solar-Lezama7 ⇄ 1

you ⇄ them

Parasocial crush

VKViktor Kuncak

you: 7 · them: 0

Secret admirer

CZCharles Zhang

them: 4 · you: 0

Main character

Proving acceptability properties of relaxed nondeterministic approximate…

PLDI 2012 · cited 23×

Ratio'd

The Specification Statement

TOPLAS 1988 · cited 21× · by your 23×

Vintage

You cite like it's 2009

Deepest dig

The Specification Statement

TOPLAS 1988

Lamport number5

1. DKyou
2. MCRMartin C. Rinard
3. Konstantinos Kallas
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. 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.