"Jonathan Spector"@cs .