"Ned Block"@cs .