"Michael Ewing"@cs .