kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Yuyan Bao
9 papers
cited 27×
cites 292
Reply guy/gal
Martin Odersky
cited you 6×
Mutuals
  1. Martin Odersky31 ⇄ 6
  2. Yichen Xu6 ⇄ 5
  3. Aleksander Boruch-Gruszecki11 ⇄ 3
  4. Edward Lee8 ⇄ 3
  5. Ondrej Lhoták11 ⇄ 3
you ⇄ them
Parasocial crush
John Potter
you: 16 · them: 0
Secret admirer
Aïna Linn Georges
them: 2 · you: 0
Main character
Reachability types: tracking aliasing and separation in higher-order functional…
OOPSLA 2021 · cited 19×
Ratio'd
Effect handlers via generalised continuations
JFP 2020 · cited 18× · by your 19×
Vintage
You cite like it's 2012
Deepest dig
Syntactic Control of Interference
POPL 1978
Lamport number4
  1. you
  2. Roopsha Samanta
  3. E. Allen Emerson
  4. Robert P. Kurshan
  5. Leslie Lamport

Load-bearing co-author: Roopsha Samanta. 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.