"Mitch Sprengelmeyer"@cs . "M Sprengelmeyer"@cs .