David O'Hallaron's public data