kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Aymeric Fromherz
13 papers
cited 65×
cites 223
Reply guy/gal
Dirk Beyer
cited you 8×
Mutuals
  1. Catalin Hritcu21 ⇄ 7
  2. Robbert Krebbers19 ⇄ 6
  3. Peter Müller5 ⇄ 5
  4. Guido Martínez4 ⇄ 5
  5. Alexander J. Summers8 ⇄ 3
you ⇄ them
Parasocial crush
Jean Karim Zinzindohoue
you: 14 · them: 0
Secret admirer
Cezar-Constantin Andrici
them: 7 · you: 0
Main character
SteelCore: an extensible concurrent separation logic for effectful dependently…
ICFP 2020 · cited 21×
Ratio'd
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms
ESOP 2019 · cited 20× · by your 21×
Vintage
You cite like it's 2015
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number3
  1. you
  2. Cédric Fournet
  3. Martín Abadi
  4. Leslie Lamport

Load-bearing co-author: Cédric Fournet. Without them: 4.

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.