"Doug Schmidt"@cs .