kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Dana N. Xu
7 papers
cited 51×
cites 35
Reply guy/gal
David Van Horn
cited you 6×
Mutuals
  1. Matthias Felleisen3 ⇄ 4
  2. Robert Bruce Findler4 ⇄ 3
  3. Cormac Flanagan6 ⇄ 2
  4. Amal Ahmed1 ⇄ 2
  5. Colin Runciman1 ⇄ 2
you ⇄ them
Parasocial crush
Greg Nelson
you: 4 · them: 0
Secret admirer
Sam Tobin-Hochstadt
them: 6 · you: 0
Main character
Static contract checking for Haskell
POPL 2009 · cited 37×
Ratio'd
Sound and complete models of contracts
JFP 2006 · cited 29× · by your 37×
Vintage
You cite like it's 2001
Deepest dig
Refinement Types for ML
PLDI 1991
Lamport number4
  1. you
  2. Simon L. Peyton Jones
  3. Tim Harris
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Simon L. Peyton Jones. Without them: 5.

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.