pldb wrapped

RMKRobert M. Kirby

5 papers

cited 25×

cites 12

Reply guy/gal

EMEric Mercer

cited you 4×

Mutuals

1. SFSStephen F. Siegel3 ⇄ 4

you ⇄ them

Parasocial crush

PGPatrice Godefroid

you: 5 · them: 0

Secret admirer

NVNick Vrvilo

them: 4 · you: 0

Main character

ISP: a tool for model checking MPI programs

PPoPP 2008 · cited 8×

Vintage

You cite like it's 2005

Deepest dig

Model Checking for Programming Languages using Verisoft

POPL 1997

Lamport number5

1. RMKyou
2. GLGuodong Li
3. SOScott Owens
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Guodong Li. Without them: 6.

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.