kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Dmitry Mordvinov
2 papers
cited 7×
cites 23
Reply guy/gal
Naoki Kobayashi
cited you 2×
Mutuals
  1. Arie Gurfinkel2 ⇄ 1
  2. Naoki Kobayashi1 ⇄ 2
  3. Ryosuke Sato1 ⇄ 2
  4. Thomas Genet1 ⇄ 2
  5. Thomas P. Jensen1 ⇄ 2
you ⇄ them
Parasocial crush
Andrew Reynolds
you: 3 · them: 0
Main character
Beyond the elementary representations of program invariants over algebraic data…
PLDI 2021 · cited 7×
Ratio'd
Regular language type inference with term rewriting
ICFP 2020 · cited 6× · by your 7×
Vintage
You cite like it's 2012
Deepest dig
Reasoning about Recursively Defined Data Structures
POPL 1978
Lamport number4
  1. you
  2. Grigory Fedyukovich
  3. Hana Chockler
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Grigory Fedyukovich. Without them: ∞.

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.