kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Samuel Hitz
2 papers
cited 30×
cites 30
Reply guy/gal
David A. Naumann
cited you 4×
Mutuals
  1. Alexander J. Summers4 ⇄ 2
  2. Eric Koskinen2 ⇄ 4
  3. Malte Schwerhoff4 ⇄ 2
  4. Tachio Terauchi4 ⇄ 2
  5. Anindya Banerjee1 ⇄ 3
you ⇄ them
Parasocial crush
Gilles Barthe
you: 4 · them: 0
Secret admirer
Ramana Nagasamudram
them: 4 · you: 0
Main character
Modular Product Programs
ESOP 2018 · cited 16×
Ratio'd
Exploiting Synchrony and Symmetry in Relational Verification
CAV 2018 · cited 13× · by your 15×
Vintage
You cite like it's 2013
Deepest dig
Simple relational correctness proofs for static analyses and program…
POPL 2004
Lamport number5
  1. you
  2. Peter Müller
  3. Patrice Godefroid
  4. Rajeev Alur
  5. Robert P. Kurshan
  6. Leslie Lamport

Load-bearing co-author: Peter Müller. Without them: 6.

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.