"Peter Devlin"@cs .