"David Valdes"@cs .