Michael Herlihy Location