kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
James Riely
15 papers
cited 107×
cites 167
Reply guy/gal
cited you 21×
Mutuals
  1. Ori Lahav11 ⇄ 21
  2. Viktor Vafeiadis16 ⇄ 10
  3. Chung-Kil Hur10 ⇄ 7
  4. Peter Sewell19 ⇄ 7
  5. Jeehoon Kang6 ⇄ 4
you ⇄ them
Parasocial crush
you: 15 · them: 0
Secret admirer
them: 6 · you: 0
Ratio'd
POPL 2013 · cited 12× · by your 15×
Vintage
You cite like it's 2008
Early adopter
cited 1 paper before they were published
e.g. A Calculus of Untyped Aspect-Oriented… (2003) → A semantics for advice and dynamic join points in… (TOPLAS 2004)
Lamport number4
  1. you
  2. Alan Jeffrey
  3. Andrew D. Gordon
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Alan Jeffrey. Without them: 5.

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.