pldb wrapped

RCRance Cleaveland

26 papers

cited 170×

cites 67

Reply guy/gal

CRRC. R. Ramakrishnan

cited you 7×

Mutuals

1. HRAHenrik Reif Andersen4 ⇄ 3
2. DELDavid E. Long2 ⇄ 2
3. DAPDoron A. Peled2 ⇄ 3
4. EMCEdmund M. Clarke10 ⇄ 2
5. JKJeff Kramer2 ⇄ 2

you ⇄ them

Parasocial crush

ARMAlbert R. Meyer

you: 3 · them: 0

Secret admirer

CPCarla Piazza

them: 6 · you: 0

Main character

The Concurrency Workbench: A Semantics-Based Tool for the Verification of…

TOPLAS 1993 · cited 61×

Ratio'd

Bisimulation Through Probabilistic Testing

POPL 1989 · cited 38× · by your 61×

Vintage

You cite like it's 1995

Deepest dig

Systematic Design of Program Analysis Frameworks

POPL 1979

Lamport number4

1. RCyou
2. AGAlex Groce
3. MYMihalis Yannakakis
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.