pldb wrapped

KWKonstantin Weitz

3 papers

cited 40×

cites 37

Reply guy/gal

YWYuepeng Wang

cited you 5×

Mutuals

1. DWDavid Walker3 ⇄ 3
2. RBRastislav Bodík6 ⇄ 2
3. ASAvraham Shinnar1 ⇄ 1
4. CKChantal Keller1 ⇄ 2
5. ECEvelyne Contejean1 ⇄ 3

you ⇄ them

Parasocial crush

AGAaron Gember

you: 2 · them: 0

Secret admirer

Isil Dillig

them: 4 · you: 0

Main character

HoTTSQL: proving query rewrites with univalent SQL semantics

PLDI 2017 · cited 24×

Ratio'd

Synthesis of biological models from mutation experiments

POPL 2013 · cited 9× · by your 13×

Vintage

You cite like it's 2013

Deepest dig

Construction of Abstract State Graphs with PVS

CAV 1997

Lamport number4

1. KWyou
2. DWDoug Woos
3. KLMKenneth L. McMillan
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Doug Woos. Without them: 5.

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.