pldb wrapped

VNVV. N. Venkatakrishnan

2 papers

cited 7×

cites 17

Reply guy/gal

ACAlbert Cohen

cited you 1×

Mutuals

1. AGArie Gurfinkel1 ⇄ 1

you ⇄ them

Parasocial crush

VSAVikram S. Adve

you: 3 · them: 0

Main character

From Verification to Optimizations

VMCAI 2015 · cited 5×

Vintage

You cite like it's 2002

Deepest dig

Expressing Interesting Properties of Programs in Propositional Temporal Logic

POPL 1986

Lamport number3

1. VNVyou
2. KSNKedar S. Namjoshi
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Kedar S. Namjoshi. 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.