"Jonathan Sadoff"@cs .