"Jason Miller"@cs .