Yup, for the auto-shortener, Miri is going to be an obvious choice. I had a Mirrie in my family who hated it all her life but eventually just gave up correcting people. She's the reason why both my sister and a cousin decided against
Miriam as a name for their daughters
http://www.behindthename.com/pnl/167578