kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Kohei Suenaga
21 papers
cited 56×
cites 219
Reply guy/gal
Hakjoo Oh
cited you 7×
Mutuals
  1. Ryosuke Sato8 ⇄ 6
  2. António Ravara2 ⇄ 2
  3. Colin S. Gordon2 ⇄ 3
  4. Naoki Kobayashi10 ⇄ 2
  5. Swarat Chaudhuri2 ⇄ 2
you ⇄ them
Parasocial crush
Tachio Terauchi
you: 15 · them: 0
Secret admirer
Junhee Lee
them: 6 · you: 0
Main character
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative…
ESOP 2020 · cited 13×
Ratio'd
Verification Condition Generation for Permission Logics with Abstract…
ECOOP 2013 · cited 11× · by your 13×
Vintage
You cite like it's 2008
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Early adopter
cited 2 papers before they were published
e.g. Translation of Tree-Processing Programs… (2004) → Resource usage analysis (TOPLAS 2005)
Lamport number4
  1. you
  2. Atsushi Igarashi
  3. Benjamin C. Pierce
  4. Martín Abadi
  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.