kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Hongwei Xi
11 papers
cited 416×
cites 94
Reply guy/gal
Ranjit Jhala
cited you 25×
Mutuals
  1. J. Gregory Morrisett5 ⇄ 14
  2. Tim Sheard5 ⇄ 5
  3. Karl Crary4 ⇄ 6
  4. Stephanie Weirich4 ⇄ 16
  5. David Walker3 ⇄ 8
you ⇄ them
Parasocial crush
Peter Lee
you: 6 · them: 0
Secret admirer
Atsushi Igarashi
them: 17 · you: 0
Main character
Dependent Types in Practical Programming
POPL 1999 · cited 164×
Ratio'd
Refinement Types for ML
PLDI 1991 · cited 161× · by your 164×
Vintage
You cite like it's 2000
Deepest dig
Implementation of an Array Bound Checker
POPL 1977
Lamport number4
  1. you
  2. Robert Harper
  3. J. Gregory Morrisett
  4. Fred B. Schneider
  5. Leslie Lamport

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