"Elliott Koretz"@cs .