"Duke Sandefur"@cs .