Self-stabilizing algorithms

This page is devoted to self-stabilizing algorithms. Our goal is to create tools to develop and test self-stabilizing algorithms. Such a tool is under construction. An early version is accessible as an applet below (requires Java VM 1.4). Please try it and give comments to the author kuszner@eti.pg.gda.pl. At this time only some algorithms are available.

Available algorithms

Download

To do

• describe a formal language to define self-stabilizing algorithms,
• implement an interpreter for such language,
• give a nice interface to the program,
• give a name to the program,
• document it,
• provides planning tests,
• …not invented yet

Researchers

• Yehuda Afek
• Anish Arora
• Sylvie Delaet
• Shlomi Dolev
• Felix Freiling
• Sukumar Ghosh
• Mohamed G. Gouda
• Ted Herman
• H. James Hoover
• Colette Johnen
• Łukasz Kuszner
• Chengdian Lin
• Fredrik Manne
• Chengdian Lin
• Adam Nadolski
• Boaz Patt-Shamir
• Marco Schneider
• Franck Petit
• Sandeep Kumar Shukla
• Pradip K Srimani
• Sébastien Tixeuil
• Vincent Villain

Links

• Self-Stabilizing Networking Protocols for Distributed Systems Maintained by Department of Computer Science at Clemson University
• Stabilization Research at Iowa A directory to technical papers, abstracts, people, and events relating to research on self-stabilizing systems and protocols at the University of Iowa
• Comprehensive Self-Stabilization Bibliography
• Self-Stabilization page by Sandeep K. Shukla
• The Collection of Computer Science Bibliographies
• Algoritmos Auto-estabilizantes - some links

Books

• Self-Stabilization by Shlomi Dolev
• Chapter in Introduction to Distributed Algorithms by Gerard Tel

Conferences

• SSS 2005 Symposium on Self-Stabilizing Systems
• SIROCCO 2006 The Colloquia on Structural Information and Communication Complexity
• DISC - international symposium on the theory, design, analysis, implementation and application of distributed systems and networks.

Problems

• Please register in SPOJ and try to solve a problem DCODE there. Some comments can be found here.

Acknowledgement

• TU Gdańsk.
• Jos van Eijndhoven for a Graphplace.
• stat4u for web statistics.

Page history

• 23 April 2004 - The beginning
• 22 May 2004 - Early version of the program
• 29 June 2004 - Minor changes
• 3 July 2004 - Source code with documentation, short algorithms descriprion, acknowledgement
• 7 October 2005 - Minor changes

Łukasz Kuszner, e-mail:kuszner@eti.pg.gda.pl

Last revised: 7 October 2005