"Tinsley Ellis"@cs .