kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Hao Chen
5 papers
cited 82×
cites 52
Reply guy/gal
Derek Dreyer
cited you 7×
Mutuals
  1. Derek Dreyer3 ⇄ 7
  2. Lars Birkedal4 ⇄ 3
  3. Lionel Rieg2 ⇄ 3
  4. Philippa Gardner2 ⇄ 2
  5. Xinyu Feng8 ⇄ 2
you ⇄ them
Parasocial crush
Lingming Zhang
you: 5 · them: 0
Secret admirer
Michael Sammler
them: 7 · you: 0
Main character
Certified concurrent abstraction layers
PLDI 2018 · cited 55×
Ratio'd
Local rely-guarantee reasoning
POPL 2009 · cited 52× · by your 55×
Vintage
You cite like it's 2015
Deepest dig
Global Value Numbers and Redundant Computations
POPL 1988
Lamport number4
  1. you
  2. Tahina Ramananandro
  3. Cédric Fournet
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Tahina Ramananandro. 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.