pldb wrapped

SBSamik Basu

10 papers

cited 20×

cites 87

Reply guy/gal

NYNobuko Yoshida

cited you 5×

Mutuals

1. NYNobuko Yoshida3 ⇄ 5
2. TAHThomas A. Henzinger2 ⇄ 2
3. ACAlessandro Cimatti1 ⇄ 1
4. FLFrédéric Lang2 ⇄ 1
5. PMP. Madhusudan4 ⇄ 1

you ⇄ them

Parasocial crush

EAEE. Allen Emerson

you: 10 · them: 0

Secret admirer

ETEmilio Tuosto

them: 3 · you: 0

Main character

Deciding choreography realizability

POPL 2012 · cited 7×

Ratio'd

WSAT: A Tool for Formal Analysis of Web Services

CAV 2004 · cited 6× · by your 7×

Vintage

You cite like it's 2001

Deepest dig

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

POPL 1977

Lamport number5

1. SByou
2. SASScott A. Smolka
3. RGRadu Grosu
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.