"Trevor Hall"@cs .