"Ted Allen"@cs .