kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Yan Cai
22 papers
cited 81×
cites 398
Reply guy/gal
Charles Zhang
cited you 8×
Mutuals
  1. Charles Zhang10 ⇄ 8
  2. Umang Mathur16 ⇄ 8
  3. Andreas Pavlogiannis9 ⇄ 5
  4. Mahesh Viswanathan16 ⇄ 4
  5. Cheng Wen3 ⇄ 4
you ⇄ them
Parasocial crush
Mayur Naik
you: 27 · them: 0
Secret admirer
Qingkai Shi
them: 7 · you: 0
Main character
ConLock: a constraint-based approach to dynamic checking on deadlocks in…
ICSE 2014 · cited 18×
Ratio'd
Automated extraction of security policies from natural-language software…
FSE 2012 · cited 12× · by your 13×
Vintage
You cite like it's 2011
Deepest dig
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic…
TOPLAS 1986
Lamport number3
  1. you
  2. Jens Palsberg
  3. Martín Abadi
  4. Leslie Lamport

Load-bearing co-author: Jens Palsberg. Without them: 4.

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.