"David Proval"@cs .