"Randy Benson"@cs .