pldb wrapped

DYDaniel Yankelevich

3 papers

cited 19×

cites 11

Reply guy/gal

DASDavid A. Schmidt

cited you 5×

Mutuals

1. OGOrna Grumberg1 ⇄ 1
2. PCPatrick Cousot1 ⇄ 2
3. RKSR. K. Shyamasundar1 ⇄ 1
4. RCRadhia Cousot1 ⇄ 2
5. SBSaddek Bensalem1 ⇄ 1

you ⇄ them

Parasocial crush

GBGérard Berry

you: 3 · them: 0

Secret admirer

DDDennis Dams

them: 2 · you: 0

Main character

Optimality in Abstractions of Model Checking

SAS 1995 · cited 16×

Vintage

You cite like it's 1990

Deepest dig

Systematic Design of Program Analysis Frameworks

POPL 1979

Lamport number5

1. DYyou
2. RCRance Cleaveland
3. AGAlex Groce
4. MYMihalis Yannakakis
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.