"David Prater"@cs .