kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Irene Yoon
5 papers
cited 39×
cites 145
Reply guy/gal
Nicolas Chappe
cited you 10×
Mutuals
  1. Paul He6 ⇄ 5
  2. Ralf Jung11 ⇄ 4
  3. Catalin Hritcu5 ⇄ 3
  4. Exequiel Rivas3 ⇄ 3
  5. Lars Birkedal6 ⇄ 3
you ⇄ them
Parasocial crush
Chung-Kil Hur
you: 22 · them: 0
Secret admirer
Eleftherios Ioannidis
them: 5 · you: 0
Main character
Modular, compositional, and executable formal semantics for LLVM IR
ICFP 2021 · cited 21×
Ratio'd
The next 700 compiler correctness theorems (functional pearl)
ICFP 2019 · cited 20× · by your 21×
Vintage
You cite like it's 2017
Deepest dig
Efficiently Computing Static Single Assignment Form and the Control Dependence…
TOPLAS 1991
Lamport number4
  1. you
  2. Steve Zdancewic
  3. J. Gregory Morrisett
  4. Fred B. Schneider
  5. 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.