kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Samuel Gruetter
6 papers
cited 25×
cites 84
Reply guy/gal
Owen Conoly
cited you 5×
Mutuals
  1. Lars Birkedal5 ⇄ 3
  2. Michael Sammler2 ⇄ 2
  3. Peter Sewell2 ⇄ 3
  4. Andres Erbsen1 ⇄ 1
  5. Angus Hammond1 ⇄ 3
you ⇄ them
Parasocial crush
Magnus O. Myreen
you: 14 · them: 0
Secret admirer
Aslan Askarov
them: 3 · you: 0
Main character
Integration verification across software and hardware for a simple embedded…
PLDI 2021 · cited 18×
Ratio'd
Verified compilation on a verified processor
PLDI 2019 · cited 15× · by your 18×
Vintage
You cite like it's 2017
Deepest dig
How to Make ad-hoc Polymorphism Less ad-hoc
POPL 1989
Lamport number4
  1. you
  2. Adam Chlipala
  3. J. Gregory Morrisett
  4. Fred B. Schneider
  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.