"Randy Allen"@cs .