pldb wrapped

CVCarsten Varming

3 papers

cited 36×

cites 15

Reply guy/gal

CWBClark W. Barrett

cited you 6×

Mutuals

1. ARAndrew Reynolds2 ⇄ 5
2. CTCesare Tinelli2 ⇄ 5
3. CWBClark W. Barrett2 ⇄ 6
4. BSBernhard Scholz1 ⇄ 1
5. HJHerbert Jordan1 ⇄ 1

you ⇄ them

Parasocial crush

NSBNikolaj S. Bjørner

you: 4 · them: 0

Secret admirer

HBHaniel Barbosa

them: 5 · you: 0

Main character

Reachability Analysis for AWS-Based Networks

CAV 2019 · cited 15×

Ratio'd

Verification and change-impact analysis of access-control policies

ICSE 2005 · cited 12× · by your 13×

Vintage

You cite like it's 2013

Deepest dig

Symbolic Model Checking

CAV 1996

Lamport number4

1. CVyou
2. BCByron Cook
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. 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.