The 2010 Edsger W. Dijkstra Prize in Distributed Computing |
Consensus (Session la) / Invited Lecture I: |
The Power of Abstraction (Invited Lecture Abstract) / Barbara Liskov |
Fast Asynchronous Consensus with Optimal Resilience / Ittai Abraham ; Marcos K. Aguilera ; Dahlia Malkhi |
Transactions (Session lb) |
Transactions as the Foundation of a Memory Consistency Model / Luke Dalessandro ; Michael L. Scott ; Michael F. Spear |
The Cost of Privatization / Hagit Attiya ; Eshcar Hillel |
A Scalable Lock-Free Universal Construction with Best Effort Transactional Hardware / Francois Carouge ; Michael Spear |
Window-Based Greedy Contention Management for Transactional Memory / Gokarna Sharma ; Brett Estrade ; Costas Busch |
Shared Memory Services and Concurrency (Session 1c) |
Scalable Flat-Combining Based Synchronous Queues / Danny Hendler ; Itai Incze ; Nir Shavit ; Moran Tzafrir |
Fast Randomized Test-and-Set and Renaming / Dan Alistarh ; Seth Gilbert ; Andrei Giurgiu ; Rachid Guerraoui |
Concurrent Computing and Shellable Complexes / Maurice Herlihy ; Sergio Rajsbaum |
(Session 1d) / Brief Announcements I: |
Hybrid Time-Based Transactional Memory / Pascal Felber ; Christof Fetzer ; Patrick Marlier ; Martin Nowack ; Torvald Riegel |
Quasi-Linearizability: Relaxed Consistency for Improved Concurrency / Yehuda Afek ; Guy Korland ; Eitan Yanovsky |
Fast Local-Spin Abortable Mutual Exclusion with Bounded Space / Hyonho Lee |
Wireless Networks (Session 1e) |
What Is the Use of Collision Detection (in Wireless Networks)? / Johannes Schneider ; Roger Wattenhofer |
Deploying Wireless Networks with Beeps / Alejandro Cornejo ; Fabian Kuhn |
Distributed Contention Resolution in Wireless Networks / Thomas Kesselheim ; Berthold Vöcking |
A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks / Andrea Richa ; Christian Scheideler ; Stefan Schmid ; Jin Zhang |
(Session 1f) / Brief Announcements II: |
Simple Gradecast Based Algorithms / Michael Ben-Or ; Danny Dolev ; Ezra N. Hoch |
Decentralized Network Bandwidth Prediction / Sukhyun Song ; Pete Keleher ; Bobby Bhattacharjee ; Alan Sussman |
Synchronous Las Vegas URMT Iff Asynchronous Monte Carlo URMT / Abhinav Mehta ; Shashank Agrawal ; Kannan Srinathan |
Best Student Paper (Session 2a) / Invited Lecture II: |
Foundations of Speculative Distributed Computing (Invited Lecture Extended Abstract) |
Anonymous Asynchronous Systems: The Case of Failure Detectors / François Bonnet ; Michel Raynal |
Consensus and Leader Election (Session 2b) |
The Computational Structure of Progress Conditions / Gadi Taubenfeld |
Scalable Quantum Consensus for Crash Failures / Bogdan S. Chlebus ; Dariusz R. Kowalski ; Michal Strojnowski |
How Much Memory Is Needed for Leader Election / Emanuele G. Fusco ; Andrzej Pelc |
Leader Election Problem versus Pattern Formation Problem / Yoann Dieudonné ; Franck Petit ; Vincent Villain |
Mobile Agents (Session 2c) |
Rendezvous of Mobile Agents in Directed Graphs / Jérémie Chalopin ; Shantanu Das ; Peter Widmayer |
Almost Optimal Asynchronous Rendezvous in Infinite Multidimensional Grids / Evangelos Bampas ; Jurek Czyzowicz ; Leszek Gasieniec ; David Ilcinkas ; Arnaud Labourel |
Exclusive Perpetual Ring Exploration without Chirality / Lélia Blin ; Alessia Milani ; Maria Potop-Butucaru ; Sébastien Tixeuil |
Drawing Maps with Advice / Dariusz Dereniowski |
Wireless Networks (Session 3a) / Invited Lecture III: |
Network-Aware Distributed Algorithms: Challenges and Opportunities in Wireless Networks (Invited Lecture Summary) / Nitin Vaidya |
Connectivity Problem in Wireless Networks / Mariusz A. Rokicki |
Computing in Wireless and Mobile Networks (Session 3b) |
Trusted Computing for Fault-Prone Wireless Networks |
Opportunistic Information Dissemination in Mobile Ad-hoc Networks: The Profit of Global Synchrony / Antonio Fernández Anta ; Miguel A. Mosteiro ; Shmuel Zaks |
Brief Announcements III (Session 3c) |
Failure Detectors Encapsulate Fairness / Scott M. Pike ; Srikanth Sastry ; Jennifer L. Welch |
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study / Francesco Alberti ; Silvio Ghilardi ; Elena Pagani ; Silvio Ranise ; Gian Paolo Rossi |
On Reversible and Irreversible Conversions / Mitre C. Dourado ; Lucia Draque Penso ; Dieter Rautenbach ; Jayme L. Szwarcfiter |
A Decentralized Algorithm for Distributed Trigger Counting / Venkatesan T. Chakaravarthy ; Anamitra R. Choudhury ; Vijay K. Garg ; Yogish Sabharwal |
Flash-Log - A High Throughput Log / Mahesh Balakrishnan ; Philip A. Bernstein ; Vijayan Prabhakaran ; Colin Reid |
New Bounds for Partially Synchronous Set Agreement / Corentin Travers |
Modeling Issues and Adversity (Session 3d) |
It's on Me! The Benefit of Altruism in BAR Environments / Edmund L. Wong ; Joshua B. Leners ; Lorenzo Alvisi |
Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems / Ido Ben-Zvi ; Yoram Moses |
On the Power of Non-spoofing Adversaries / H.B. Acharya ; Mohamed Gouda |
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication |
Self-stabilizing and Graph Algortihms (Session 3e) |
Low Communication Self-stabilization through Randomization / Shay Kutten ; Dmitry Zinenko |
Fast Self-stabilizing Minimum Spanning Tree Construction: Using Compact Nearest Common Ancestor Labeling Scheme / Shlomi Dolev ; Maria Gradinariu Potop-Butucaru ; Stephane Rovedakis |
The Impact of Topology on Byzantine Containment in Stabilization / Swan Dubois ; Toshimitsu Masuzawa |
Minimum Dominating Set Approximation in Graphs of Bounded Arboricity / Christoph Lenzen |
Brief Announcements IV (Session 3f) |
Sharing Memory in a Self-stabilizing Manner / Noga Alon ; Maria Gradinariu |
Stabilizing Consensus with the Power of Two Choices / Benjamin Doerr ; Leslie Ann Goldberg ; Lorenz Minder ; Thomas Sauerwald |
Author Index |
The 2010 Edsger W. Dijkstra Prize in Distributed Computing |
Consensus (Session la) / Invited Lecture I: |
The Power of Abstraction (Invited Lecture Abstract) / Barbara Liskov |