pldb wrapped

KEKousha Etessami

12 papers

cited 858×

cites 58

Reply guy/gal

APAndreas Podelski

cited you 23×

Mutuals

1. TWRThomas W. Reps7 ⇄ 18
2. MSMooly Sagiv6 ⇄ 16
3. PMP. Madhusudan4 ⇄ 7
4. SLTSalvatore La Torre4 ⇄ 10
5. Rupak Majumdar3 ⇄ 8

you ⇄ them

Parasocial crush

SSStefan Schwoon

you: 8 · them: 0

Secret admirer

DKDaniel Kroening

them: 22 · you: 0

Main character

A Temporal Logic of Nested Calls and Returns

TACAS 2004 · cited 450×

Ratio'd

Precise Interprocedural Dataflow Analysis via Graph Reachability

POPL 1995 · cited 391× · by your 450×

Vintage

You cite like it's 2000

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number3

1. KEyou
2. RARajeev Alur
3. RPKRobert P. Kurshan
4. 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.