pldb wrapped

KSNKedar S. Namjoshi

42 papers

cited 251×

cites 395

Reply guy/gal

APAmir Pnueli

cited you 15×

Mutuals

1. APAmir Pnueli41 ⇄ 15
2. LDZLenore D. Zuck18 ⇄ 15
3. OGOrna Grumberg19 ⇄ 6
4. BFBernd Finkbeiner5 ⇄ 5
5. CSPCorina S. Pasareanu11 ⇄ 5

you ⇄ them

Parasocial crush

PCPatrick Cousot

you: 14 · them: 0

Secret admirer

Swen Jacobs

them: 8 · you: 0

Main character

Reasoning about Rings

POPL 1995 · cited 53×

Ratio'd

Exploiting Symmetry In Temporal Logic Model Checking

CAV 1993 · cited 46× · by your 53×

Vintage

You cite like it's 2002

Deepest dig

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

POPL 1977

Early adopter

cited 1 paper before they were published

e.g. Automatic Verification of Parameterized… (1996) → Verifying Parameterized Networks (TOPLAS 1997)

Lamport number2

1. KSNyou
2. RPKRobert P. Kurshan
3. LLLeslie Lamport

Load-bearing co-author: Robert P. Kurshan. 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.