kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Pavel Panchekha
15 papers
cited 320×
cites 165
Reply guy/gal
Santosh Nagarakatte
cited you 12×
Mutuals
  1. Santosh Nagarakatte7 ⇄ 12
  2. Eva Darulova6 ⇄ 9
  3. Rastislav Bodík6 ⇄ 6
  4. Jay P. Lim5 ⇄ 6
  5. Alex Aiken5 ⇄ 4
you ⇄ them
Parasocial crush
Wei-Fan Chiang
you: 6 · them: 0
Secret admirer
Sharon Shoham
them: 9 · you: 0
Main character
Verdi: a framework for implementing and formally verifying distributed systems
PLDI 2015 · cited 95×
Ratio'd
Mostly-automated verification of low-level programs in computational separation…
PLDI 2011 · cited 66× · by your 95×
Vintage
You cite like it's 2013
Deepest dig
Incremental Evaluation for Attribute Grammars with Application to…
POPL 1981
Lamport number4
  1. you
  2. James R. Wilcox
  3. Kenneth L. McMillan
  4. Robert P. Kurshan
  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.