"Patrick Naughton"@cs .