"Corey Allen"@cs .