"David Carter"@cs .