kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Samuel N. Kamin
10 papers
cited 41×
cites 36
Reply guy/gal
Daniel P. Friedman
cited you 3×
Mutuals
  1. Edwin M. Westbrook1 ⇄ 1
  2. Jun Inoue1 ⇄ 1
  3. Kwangkeun Yi1 ⇄ 1
  4. Makoto Tatsuta1 ⇄ 1
  5. Mathias Ricken1 ⇄ 1
you ⇄ them
Parasocial crush
Dawson R. Engler
you: 4 · them: 0
Secret admirer
Jens Palsberg
them: 3 · you: 0
Main character
Inheritance in Smalltalk-80: A Denotational Definition
POPL 1988 · cited 27×
Ratio'd
A Metalanguage for Interactive Proof in LCF
POPL 1978 · cited 17× · by your 27×
Vintage
You cite like it's 1997
Deepest dig
An Introduction to the Construction and Verification of Alphard Programs…
ICSE 1976
Lamport number6
  1. you
  2. Baris Aktemur
  3. Kwangkeun Yi
  4. Bow-Yaw Wang
  5. Rajeev Alur
  6. Robert P. Kurshan
  7. Leslie 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.