pldb wrapped

JSJoseph Sifakis

14 papers

cited 48×

cites 42

Reply guy/gal

OGOrna Grumberg

cited you 4×

Mutuals

1. OGOrna Grumberg2 ⇄ 4
2. ALSAlberto L. Sangiovanni-Vincentelli1 ⇄ 1
3. APAnuj Puri1 ⇄ 1
4. DELDavid E. Long2 ⇄ 1
5. DDDennis Dams1 ⇄ 2

you ⇄ them

Parasocial crush

EAEE. Allen Emerson

you: 5 · them: 0

Secret admirer

PGPatrice Godefroid

them: 3 · you: 0

Main character

Property Preserving Simulations

CAV 1992 · cited 20×

Vintage

You cite like it's 1997

Deepest dig

Systematic Design of Program Analysis Frameworks

POPL 1979

Lamport number3

1. JSyou
2. DAPDoron A. Peled
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Doron A. Peled. Without them: 4.

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.