"Leo Geoghegan"@cs .