"Pearse MacIntyre"@cs .