"Dan Allen"@cs .