kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Philippa Gardner
38 papers
cited 524×
cites 475
Reply guy/gal
Derek Dreyer
cited you 55×
Mutuals
  1. Derek Dreyer43 ⇄ 55
  2. Lars Birkedal36 ⇄ 47
  3. Ralf Jung22 ⇄ 26
  4. Robbert Krebbers21 ⇄ 40
  5. Kasper Svendsen18 ⇄ 18
you ⇄ them
Parasocial crush
Koushik Sen
you: 8 · them: 0
Secret admirer
Thomas Wies
them: 31 · you: 0
Main character
Concurrent Abstract Predicates
ECOOP 2010 · cited 107×
Ratio'd
Separation logic and abstraction
POPL 2005 · cited 94× · by your 107×
Vintage
You cite like it's 2013
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Early adopter
cited 5 papers before they were published
e.g. Context logic and tree update (2005) → A Local Shape Analysis Based on Separation Logic (TACAS 2006)
Lamport number4
  1. you
  2. Lars Birkedal
  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.