pldb wrapped

APAmir Pnueli

52 papers

cited 948×

cites 197

Reply guy/gal

MYVMoshe Y. Vardi

cited you 48×

Mutuals

1. EAEE. Allen Emerson22 ⇄ 19
2. KSNKedar S. Namjoshi15 ⇄ 41
3. EMCEdmund M. Clarke13 ⇄ 19
4. BJBengt Jonsson11 ⇄ 15
5. APSA. Prasad Sistla13 ⇄ 10

you ⇄ them

Parasocial crush

LLLeslie Lamport

you: 11 · them: 0

Secret admirer

SMShahar Maoz

them: 34 · you: 0

Main character

On the Synthesis of a Reactive Module

POPL 1989 · cited 150×

Ratio'd

Lustre: A Declarative Language for Programming Synchronous Systems

POPL 1987 · cited 78× · by your 119×

Vintage

You cite like it's 1998

Deepest dig

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

POPL 1977

Lamport number3

1. APyou
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.