kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Michael Hilton
12 papers
cited 217×
cites 171
Reply guy/gal
Shane McIntosh
cited you 21×
Mutuals
  1. Alberto Bacchelli6 ⇄ 5
  2. August Shi5 ⇄ 9
  3. Bogdan Vasilescu5 ⇄ 4
  4. Vladimir Filkov9 ⇄ 4
  5. Asher Trockman3 ⇄ 3
you ⇄ them
Parasocial crush
Premkumar T. Devanbu
you: 9 · them: 0
Secret admirer
Mahmoud Alfadel
them: 11 · you: 0
Main character
Usage, costs, and benefits of continuous integration in open-source projects
ASE 2016 · cited 53×
Ratio'd
Quality and productivity outcomes relating to continuous integration in GitHub
FSE 2015 · cited 46× · by your 53×
Vintage
You cite like it's 2013
Deepest dig
A Metalanguage for Interactive Proof in LCF
POPL 1978
Lamport number4
  1. you
  2. John Clements
  3. Cormac Flanagan
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: John Clements. Without them: 5.

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.