"Ken Jenkins"@cs .