kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Janis Voigtländer
10 papers
cited 71×
cites 77
Reply guy/gal
Meng Wang
cited you 13×
Mutuals
  1. Benjamin C. Pierce9 ⇄ 4
  2. Patrik Jansson4 ⇄ 6
  3. Jeremy Gibbons6 ⇄ 3
  4. Ross Paterson4 ⇄ 3
  5. John Hughes4 ⇄ 2
you ⇄ them
Parasocial crush
Alexandre Pilkiewicz
you: 6 · them: 0
Secret admirer
Akimasa Morihata
them: 5 · you: 0
Main character
Bidirectionalization for free! (Pearl)
POPL 2009 · cited 19×
Ratio'd
Quotient lenses
ICFP 2008 · cited 18× · by your 19×
Vintage
You cite like it's 2007
Deepest dig
Polymorphic Type Inference
POPL 1983
Lamport number4
  1. you
  2. Meng Wang
  3. Benjamin C. Pierce
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Meng Wang. 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.