"Hal Davis"@cs .