"Michael Ellis"@cs .