pldb wrapped

WVWillem Visser

34 papers

cited 585×

cites 241

Reply guy/gal

DBDirk Beyer

cited you 29×

Mutuals

1. Koushik Sen9 ⇄ 12
2. DMDarko Marinov7 ⇄ 17
3. Rupak Majumdar7 ⇄ 7
4. MBDMatthew B. Dwyer6 ⇄ 9
5. CSPCorina S. Pasareanu6 ⇄ 5

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 10 · them: 0

Secret admirer

LZLingming Zhang

them: 13 · you: 0

Main character

Model Checking Programs

ASE 2000 · cited 118×

Ratio'd

Solving Shape-Analysis Problems in Languages with Destructive Updating

TOPLAS 1998 · cited 93× · by your 95×

Vintage

You cite like it's 2009

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number4

1. WVyou
2. PGPatrice Godefroid
3. RARajeev Alur
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.