kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Andrew P. Tolmach
14 papers
cited 213×
cites 120
Reply guy/gal
Sebastian Erdweg
cited you 12×
Mutuals
  1. Andrew W. Appel6 ⇄ 4
  2. Robert Harper7 ⇄ 3
  3. Sebastian Erdweg3 ⇄ 12
  4. Simon L. Peyton Jones6 ⇄ 3
  5. Suresh Jagannathan3 ⇄ 5
you ⇄ them
Parasocial crush
Bruce F. Duba
you: 5 · them: 0
Secret admirer
Hendrik van Antwerpen
them: 10 · you: 0
Main character
Building Program Optimizers with Rewriting Strategies
ICFP 1998 · cited 50×
Ratio'd
Run your research: on the effectiveness of lightweight mechanization
POPL 2012 · cited 27× · by your 31×
Vintage
You cite like it's 1996
Deepest dig
Symbolic Debugging of Optimized Code
TOPLAS 1982
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.