pldb wrapped

SSSarai Sheinvald

3 papers

cited 7×

cites 36

Reply guy/gal

BFBernd Finkbeiner

cited you 3×

Mutuals

1. BFBernd Finkbeiner8 ⇄ 3
2. AFAzadeh Farzan2 ⇄ 1

you ⇄ them

Parasocial crush

CHChristopher Hahn

you: 4 · them: 0

Secret admirer

RBRaven Beutner

them: 3 · you: 0

Main character

Compositional Model Checking for Multi-properties

VMCAI 2021 · cited 4×

Vintage

You cite like it's 2013

Deepest dig

Detecting Equality of Variables in Programs

POPL 1988

Lamport number4

1. SSyou
2. OGOrna Grumberg
3. HCHana Chockler
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Orna Grumberg. 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.