kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Martin Clochard
4 papers
cited 42×
cites 60
Reply guy/gal
Aws Albarghouthi
cited you 3×
Mutuals
  1. Alexander J. Summers3 ⇄ 2
  2. Derek Dreyer2 ⇄ 2
  3. Malte Schwerhoff2 ⇄ 3
  4. Steve Zdancewic2 ⇄ 2
  5. Adam Chlipala1 ⇄ 1
you ⇄ them
Parasocial crush
Thomas A. Henzinger
you: 4 · them: 0
Secret admirer
Loris D'Antoni
them: 3 · you: 0
Main character
Bridging boolean and quantitative synthesis using smoothed proof search
POPL 2014 · cited 15×
Ratio'd
Quantitative Synthesis for Concurrent Programs
CAV 2011 · cited 13× · by your 15×
Vintage
You cite like it's 2013
Deepest dig
The Temporal Logic of Actions
TOPLAS 1994
Lamport number4
  1. you
  2. Swarat Chaudhuri
  3. Rajeev Alur
  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.