"Bill Halverson"@cs .