pldb wrapped

SMBSidi Mohamed Beillahi

10 papers

cited 20×

cites 96

Reply guy/gal

LSLinhai Song

cited you 4×

Mutuals

1. OLOri Lahav2 ⇄ 3
2. YLYe Liu4 ⇄ 2
3. AGAshutosh Gupta1 ⇄ 1
4. ARAzalea Raad1 ⇄ 2
5. JCJiachi Chen1 ⇄ 1

you ⇄ them

Parasocial crush

MTVMartin T. Vechev

you: 7 · them: 0

Secret admirer

MHMengting He

them: 4 · you: 0

Main character

Checking Robustness Against Snapshot Isolation

CAV 2019 · cited 8×

Vintage

You cite like it's 2017

Deepest dig

Synthesis of Communicating Processes from Temporal Logic Specifications

TOPLAS 1984

Lamport number4

1. SMByou
2. SKLShuvendu K. Lahiri
3. KLMKenneth L. McMillan
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Shuvendu K. Lahiri. Without them: 5.

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.