"Simmonds"@cs .