pldb wrapped

SSSubodh Sharma

6 papers

cited 15×

cites 63

Reply guy/gal

AFAleksandr Fedchin

cited you 2×

Mutuals

1. EMEric Mercer3 ⇄ 2
2. YHYu Huang3 ⇄ 2
3. BOBenjamin Ogles1 ⇄ 2
4. CWChao Wang3 ⇄ 1
5. FMFrancisco Martins2 ⇄ 1

you ⇄ them

Parasocial crush

VVViktor Vafeiadis

you: 9 · them: 0

Secret admirer

AMAntero Mejr

them: 2 · you: 0

Main character

ISP: a tool for model checking MPI programs

PPoPP 2008 · cited 8×

Vintage

You cite like it's 2014

Deepest dig

Exploiting Symmetry In Temporal Logic Model Checking

CAV 1993

Lamport number5

1. SSyou
2. DKDaniel Kroening
3. STSerdar Tasiran
4. RARajeev Alur
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.