kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Joseph Tassarotti
25 papers
cited 247×
cites 530
Reply guy/gal
Lars Birkedal
cited you 21×
Mutuals
  1. Lars Birkedal49 ⇄ 21
  2. Robbert Krebbers39 ⇄ 13
  3. Amin Timany30 ⇄ 9
  4. Deepak Garg10 ⇄ 8
  5. Hoang-Hai Dang8 ⇄ 8
you ⇄ them
Parasocial crush
Kasper Svendsen
you: 36 · them: 0
Secret admirer
Jules Jacobs
them: 10 · you: 0
Main character
MoSeL: a general, extensible modal framework for interactive proofs in…
ICFP 2018 · cited 58×
Ratio'd
Mechanized verification of fine-grained concurrent programs
PLDI 2015 · cited 55× · by your 58×
Vintage
You cite like it's 2017
Deepest dig
On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to…
POPL 1981
Lamport number3
  1. you
  2. J. Gregory Morrisett
  3. Fred B. Schneider
  4. 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.