"Peter Miller"@cs .