kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Dirk Beyer
70 papers
cited 824×
cites 1,216
Reply guy/gal
Andreas Podelski
cited you 38×
Mutuals
  1. Andreas Podelski101 ⇄ 38
  2. Matthias Heizmann58 ⇄ 28
  3. Marek Chalupa27 ⇄ 26
  4. Frank Schüssele25 ⇄ 23
  5. Vesal Vojdani21 ⇄ 29
you ⇄ them
Parasocial crush
Sriram K. Rajamani
you: 31 · them: 0
Secret admirer
Valentin Wüstholz
them: 15 · you: 0
Main character
CPAchecker: A Tool for Configurable Software Verification
CAV 2011 · cited 166×
Ratio'd
SATABS: SAT-Based Predicate Abstraction for ANSI-C
TACAS 2005 · cited 50× · by your 166×
Vintage
You cite like it's 2014
Deepest dig
A Unified Approach to Global Program Optimization
POPL 1973
Early adopter
cited 1 paper before they were published
e.g. Automatic Verification of C and Java… (2019) → 2LS: Heap Analysis and Memory Safety -… (TACAS 2020)
Lamport number4
  1. you
  2. Thomas A. Henzinger
  3. Rajeev Alur
  4. Robert P. Kurshan
  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.