pldb wrapped

SMShahar Maoz

39 papers

cited 98×

cites 310

Reply guy/gal

IBIvan Beschastnikh

cited you 8×

Mutuals

1. IBIvan Beschastnikh12 ⇄ 8
2. SKSandeep Kumar6 ⇄ 7
3. Yuriy Brun11 ⇄ 6
4. DADalal Alrajeh6 ⇄ 5
5. SUSebastián Uchitel19 ⇄ 5

you ⇄ them

Parasocial crush

APAmir Pnueli

you: 34 · them: 0

Secret admirer

HGHaonan Guo

them: 5 · you: 0

Main character

Scenario-based and value-based specification mining: better together

ASE 2010 · cited 21×

Ratio'd

Diagnostic Information for Realizability

VMCAI 2008 · cited 16× · by your 19×

Vintage

You cite like it's 2010

Deepest dig

"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time

POPL 1983

Lamport number4

1. SMyou
2. YSYaniv Sa'ar
3. KSNKedar S. Namjoshi
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.