"Allen Gregory"@cs .