kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Klaus von Gleissenthall
10 papers
cited 90×
cites 184
Reply guy/gal
Constantin Enea
cited you 10×
Mutuals
  1. Josef Widder9 ⇄ 7
  2. Shaz Qadeer12 ⇄ 6
  3. Azadeh Farzan5 ⇄ 5
  4. Sharon Shoham5 ⇄ 5
  5. Cezara Dragoi8 ⇄ 4
you ⇄ them
Parasocial crush
Amir Pnueli
you: 7 · them: 0
Secret admirer
Lionel Blatter
them: 6 · you: 0
Main character
Pretend synchrony: synchronous verification of asynchronous distributed programs
POPL 2019 · cited 30×
Ratio'd
Automated and Modular Refinement Reasoning for Concurrent Programs
CAV 2015 · cited 29× · by your 30×
Vintage
You cite like it's 2014
Deepest dig
Abstract Interpretation: A Unified Lattice Model for Static Analysis of…
POPL 1977
Lamport number4
  1. you
  2. Andrey Rybalchenko
  3. Moshe Y. Vardi
  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.