kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Arvind
11 papers
cited 103×
cites 52
Reply guy/gal
Sam Westrick
cited you 7×
Mutuals
  1. Aaron Turon1 ⇄ 1
  2. Alastair Reid1 ⇄ 1
  3. Andres Erbsen1 ⇄ 1
  4. Clark Wood1 ⇄ 1
  5. James D. Pollard1 ⇄ 1
you ⇄ them
Parasocial crush
Kenneth L. McMillan
you: 10 · them: 0
Secret admirer
Umut A. Acar
them: 6 · you: 0
Main character
I-Structures: Data Structures for Parallel Computing
TOPLAS 1989 · cited 53×
Ratio'd
Microarchitecture Verification by Compositional Model Checking
CAV 2001 · cited 14× · by your 23×
Vintage
You cite like it's 2009
Deepest dig
Dependence Graphs and Compiler Optimizations
POPL 1981
Lamport number4
  1. you
  2. Adam Chlipala
  3. J. Gregory Morrisett
  4. Fred B. Schneider
  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.