Preliminary Program

Sunday 7/23 1:00-3:00PM
Keynote Taking Concurrency Seriously:
New Directions in Multiprocessor Synchronization
Maurice Herlihy
Keynote Century papers at the First Quarter-Century Milestone
Danny Dolev
Coffee break 3:00-3:30PM
Keynote TBA
Tushar Chandra
Retro-RUMP Session TBA
Reception and Poster Session 5:30-7:30PM
  • Content Availability and Signaling Overhead in DHT Systems for Mobile Environments
    Stefan Zoels, Simon Schubert, Wolfgang Kellerer, Zoran Despotovic
  • An Optimal Distributed Bridge-Finding Algorithm
    David Pritchard
  • Dynamic Medial Axis Based Motion Planning in Sensor Networks
    Lan Lin, Hyunyoung Lee
  • Implementing a Reliable Local Broadcast Primitive in Wireless Ad Hoc Networks
    Vartika Bhandari, Nitin H. Vaidya
  • On Efficient Departure for Dynamic Asynchronous Systems
    Sathya Peri, Neeraj Mittal
Monday 7/24 9:00-10:00AM
Keynote Distributed Social Systems
Jon Kleinberg
Coffee break 10:00-10:30AM
Monday 7/24 10:30AM-12:00PM
Session Graph Algorithms
On the Complexity of Distributed Graph Coloring
Fabian Kuhn, Roger Wattenhofer
Quorum Placement in Networks: Minimizing Network Congestion
Daniel Golovin, Anupam Gupta, Bruce Maggs, Florian Oprea, Michael Reiter
Distributed Verification of Minimum Spanning Trees
Amos Korman, Shay Kutten
Lunch 12:00-1:00PM
Monday 7/24 1:00-3:00PM
Session Game Theory
When Selfish Meets Evil: Byzantine Players in a Virus Inoculation Game
Thomas Moscibroda, Stefan Schmid, Roger Wattenhofer
Routing Without Regret: On Convergence to Nash Equilibria of Regret-Minimizing Algorithms in Routing Games
Avrim Blum, Eyal Even-Dar, Katrina Ligett
Distributed Computing Meets Game Theory: Robust Mechanisms for Rational Secret Sharing and Multiparty Computation
Ittai Abraham, Danny Dolev, Rica Gonen, Joseph Halpern
EquiCast: Scalable Multicast with Selfish Users
Idit Keidar, Roie Melamed, Ariel Orda
Coffee break 3:00-3:30PM
Monday 7/24 3:30-5:30PM
Session Algorithms
Grouped Distributed Queues: Distributed Queue, Proportional Share Multiprocessor Scheduling
Bogdan Caprita, Jason Nieh, Clifford Stein
Sketching Asynchronous Streams Over Sliding Windows
Srikanta Tirthapura, Bojian Xu, Costas Busch
Adversarial queuing on the multiple-access channel
Bogdan Chlebus, Dariusz Kowalski, Mariusz Rokicki
Veracity Radius - Capturing the Locality of Distributed Computrations
Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff
Business meeting 8:00-10:00PM
Tuesday 7/25 9:00-10:00AM
Keynote Life is not a State-Machine;
The Long Road from Research to Production
Werner Vogels
Coffee break 10:00-10:30AM
Tuesday 7/25 10:30AM-12:00PM
Session Peer-to-peer
Computing Separable Functions via Gossip
Damon Mosk-Aoyama, Devavrat Shah
Peer Counting and Sampling in overlay networks: random walk methods
Laurent Massoulie, Erwan Le Merrer, Anne-Marie Kermarrec, Ayalvadi Ganesh
On the Topologies Formed by Selfish Peers
Thomas Moscibroda, Stefan Schmid, Roger Wattenhofer
Lunch
(on your own)
12:00-1:30PM
Tuesday 7/25 1:30-3:30PM
Session Agreement Problems
Self-stabilizing Byzantine Agreement
Ariel Daliot, Danny Dolev
Irreducibility and Additivity of Set Agreement-oriented Failure Detector Classes
Corentin Travers, Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal
Optimally Efficient Multi-Valued Byzantine Agreement
Matthias Fitzi, Martin Hirt
Timeliness, Failure-Detectors, and Consensus Performance
Idit Keidar, Alexander Shraer
Coffee break 3:30-4:00PM
Tuesday 7/25 4:00-6:00PM
Session Graph Algorithms
Oracle size: a new measure of difficulty for communication tasks
Pierre Fraigniraud, David Ilcinkas, Andrzej Pelc
Object Location Using Path Separators
Ittai Abraham, Cyril Gavoille
On Optimal Stretch Name-Independent Compact Routing in Doubling Metrics
Donglin Xia, Goran Konjevod, Andréa Richa
Local Approximation Schemes for Topology Control
Mirela Damian, Saurav Pandit, Sriram Pemmaraju
Banquet and Award Ceremony 7:00-10:00PM
Wednesday 7/26 9:00-10:30AM
Session Shared Memory
Common2 extended to stacks and unbounded concurrency
Yehuda Afek, Eli Gafni, Adam Morrison
Single-Scanner Multi-Writer Snapshot Implementations are Fast!
Panagiota Fatourou, Nikolaos Kallimanis
An O(1) RMRs Leader Election Algorithm
Wojciech Golab, Danny Hendler, Philipp Woelfel
Coffee break 10:30-11:00AM
Wednesday 7/26 11:00AM-12:30PM
Session Fault Tolerance
How fast can a very robust read be?
Rachid Guerraoui, Marko Vukolic
Reliable Broadcast in Radio Networks: The Bounded Collision Case
Chiu-Yuen Koo, Vartika Bhandari, Jonathan Katz, Nitin H. Vaidya
(Im)Possibility and Complexity of Probabilistic Reliable Communication in Directed Networks
Kannan Srinathan, C. Pandu Rangan
Lunch 12:30-1:30PM
Wednesday 7/26 1:30-3:00PM
Session Algorithms and Lower Bounds
An Ω(n log n) Lower Bound on the Cost of Mutual Exclusion
Rui Fan, Nancy Lynch
A Lower Bound for Scalable Byzantine Agreement
Dan Holtby, Bruce Kapron, Valerie King
Stably Computable Predicates are Semilinear
Dana Angluin, James Aspnes, David Eisenstat
Coffee break 3:00-3:30PM
Wednesday 7/26 3:30-4:30PM
Session Shared Memory Synchronization

Synchronizing without Locks is Inherently Expensive
Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kouznetsov

Transactional Contention Management as a Non-Clairvoyant Scheduling Problem
Hagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir