"Jimmy Clark"@cs .