pldb wrapped

LLLeslie Lamport

22 papers

cited 344×

cites 27

Reply guy/gal

EAEE. Allen Emerson

cited you 12×

Mutuals

1. KRAKrzysztof R. Apt6 ⇄ 2
2. ATAmin Timany1 ⇄ 1
3. APAmir Pnueli1 ⇄ 11
4. BJBart Jacobs1 ⇄ 1
5. BCByron Cook1 ⇄ 3

you ⇄ them

Parasocial crush

SKShmuel Katz

you: 3 · them: 0

Secret admirer

SQShaz Qadeer

them: 12 · you: 0

Main character

The Temporal Logic of Actions

TOPLAS 1994 · cited 91×

Ratio'd

Ten Years of Hoare's Logic: A Survey - Part 1

TOPLAS 1981 · cited 36× · by your 91×

Vintage

You cite like it's 1984

Deepest dig

Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in…

ICSE 1976

Lamport number0

You are 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.