We will honor our friend and colleague Maurice Herlihy on the occasion of his sixtieth birthday at PODC 2014. The celebration will include
- two workshops — one on transactional memory and one on topology — including keynote talks by Sergio Rajsbaum and Michael Scott on Maurice’s contributions to these areas,
- invited lectures by Tim Harris, Mark Moir, and Vassos Hadzilacos on Maurice’s contributions to concurrent data structures and the wait-free hierarchy, and
- a reception.
Maurice Herlihy’s 60th Birthday Celebration
Tuesday, July 15, 2014
Part 1 (Chair: Hagit Attiya)
- 16:00-16:30: Michael Scott: TM Today
- 16:30-17:00: Sergio Rajsbaum: Perspectives
- 17:00-17:15: Nir Shavit: Personal Notes
Part 2 (Chair: Rachid Guerraoui)
- 17:30-18:00: Tim Harris: Abstractions for concurrency
- 18:00-18:30: Vassos Hadzilacos: A quarter century of wait-free synchronization.
- 18:30-18:45: Maurice Herlihy
Topology workshop program
Tuesday, July 15, 2014
- 9:40 – 10:05: Maurice Herlihy, Distributed Computing and Combinatorial Topology: Puzzles and Open Problem
- 10:05 – 10:30: Dmitry Kozlov, Simplicial models in distributed computing
- 10:30 – 10:45: Coffee Break
- 10:45 – 11:10: Eli Gafni, The Vision Thing: A Foundation for Distributed Computing
- 11:10 – 11:35: Armando Castaneda, Upper and Lower Bounds for Renaming
- 11:35 – 12:00: Julien Stainer, Computing in the Presence of Concurrent Solo Executions
- 12:00 – 13:30: Lunch
- 13:30 – 13:55: Emmanuel Haucort, The Precubical Control Flow of a PV program
- 13:55 – 14:20: Christine Tasson, Geometrical interpretations of Asynchronous computability
- 14:20 – 14:45: Eric Goubault, Iterated chromatic subdivisions are collapsible
- 14:45 – 15:00: Coffee Break
- 15:00 – 15:25: Hagit Attiya, Go with a free feeling: The utility of operational-combinatorial impossibility proofs
- 15:25 – 15:50: Peter Kuznetsov, General tasks facing general adversaries: a characterization?
- 15:50 – 16:15: Corentin Travers, Fault tolerant Universal Real Time Monitors
- 16:15 – 16:30: Break and join the birthday celebration for Maurice Herlihy (see schedule above)