kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
David Castro-Perez
7 papers
cited 53×
cites 91
Reply guy/gal
Jules Jacobs
cited you 11×
Mutuals
  1. Alceste Scalas6 ⇄ 5
  2. Robbert Krebbers3 ⇄ 10
  3. Stephanie Balzer3 ⇄ 6
  4. Emilio Tuosto4 ⇄ 2
  5. Fangyi Zhou2 ⇄ 2
you ⇄ them
Parasocial crush
Kohei Honda
you: 10 · them: 0
Secret admirer
Brigitte Pientka
them: 2 · you: 0
Main character
Distributed programming using role-parametric session types in go…
POPL 2019 · cited 26×
Ratio'd
Static deadlock detection for concurrent go by global session graph synthesis
CC 2016 · cited 23× · by your 26×
Vintage
You cite like it's 2017
Deepest dig
Deriving Structural Hylomorphisms From Recursive Definitions
ICFP 1996
Early adopter
cited 1 paper before they were published
e.g. CAMP: cost-aware multiparty session… (2020) → Precise subtyping for asynchronous multiparty… (POPL 2021)
Lamport number5
  1. you
  2. Nobuko Yoshida
  3. Damien Zufferey
  4. Rajeev Alur
  5. Robert P. Kurshan
  6. 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.