"Randy Lanier"@cs .