kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Angus Hammond
4 papers
cited 18×
cites 131
Reply guy/gal
Alasdair Armstrong
cited you 2×
Mutuals
  1. Alasdair Armstrong14 ⇄ 2
  2. Lars Birkedal4 ⇄ 2
  3. Thomas Bauereiss3 ⇄ 2
  4. Adam Chlipala5 ⇄ 1
  5. Amin Timany4 ⇄ 1
you ⇄ them
Parasocial crush
Viktor Vafeiadis
you: 25 · them: 0
Main character
Islaris: verification of machine code against authoritative ISA semantics
PLDI 2022 · cited 17×
Vintage
You cite like it's 2018
Deepest dig
Hoare Logic for Realistically Modelled Machine Code
TACAS 2007
Lamport number4
  1. you
  2. Peter Sewell
  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.