"Tim Keyes"@cs .