"David C. Phillips"@cs .