kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Peter Lee
21 papers
cited 355×
cites 128
Reply guy/gal
Zhong Shao
cited you 23×
Mutuals
  1. Karl Crary5 ⇄ 17
  2. Andrew W. Appel4 ⇄ 7
  3. Byron Cook8 ⇄ 4
  4. Cormac Flanagan4 ⇄ 4
  5. Xavier Rival4 ⇄ 4
you ⇄ them
Parasocial crush
Dino Distefano
you: 10 · them: 0
Secret admirer
Valery Trifonov
them: 10 · you: 0
Main character
TIL: A Type-Directed Optimizing Compiler for ML
PLDI 1996 · cited 106×
Ratio'd
ORBIT: an optimizing compiler for scheme
PLDI 1986 · cited 102× · by your 106×
Vintage
You cite like it's 1995
Deepest dig
Advice on Structuring Compilers and Proving Them Correct
POPL 1973
Lamport number3
  1. you
  2. J. Gregory Morrisett
  3. Fred B. Schneider
  4. Leslie Lamport

Load-bearing co-author: J. Gregory Morrisett. 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.