"Jason Prosofsky"@cs .