kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Ralf Jung
19 papers
cited 993×
cites 397
Reply guy/gal
Amin Timany
cited you 65×
Mutuals
  1. Lars Birkedal47 ⇄ 34
  2. Amin Timany22 ⇄ 65
  3. Philippa Gardner26 ⇄ 22
  4. Robbert Krebbers17 ⇄ 43
  5. François Pottier15 ⇄ 32
you ⇄ them
Parasocial crush
Thomas Dinsdale-Young
you: 23 · them: 0
Secret admirer
Ike Mulder
them: 33 · you: 0
Main character
Iris from the ground up: A modular foundation for higher-order concurrent…
JFP 2018 · cited 250×
Ratio'd
Checking Interference with Fractional Permissions
SAS 2003 · cited 160× · by your 250×
Vintage
You cite like it's 2016
Deepest dig
Tentative Steps Toward a Development Method for Interfering Programs
TOPLAS 1983
Early adopter
cited 4 papers before they were published
e.g. Iris from the ground up: A modular… (2018) → A separation logic for concurrent randomized… (POPL 2019)
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.