"Randall"@cs .