"Michael Bailey Smith"@cs .