IBM Israel Research Seminars

Recent results on self* demonstrate the applicability and necessity of the self-stabilizing property for both centralized and distributed systems. We present a stack of self-stabilizing components that are essential for constructing self-stabilizing systems: Self-stabilizing microprocessor, self-stabilizing operating system, self-stabilization preserving compiler, self-stabilizing file system and middleware.

Recovery oriented computing methods using black box and tailored approaches that support evolving systems and compliment the self-stabilization component stack will be presented as well.

The results are based on recent works done by the distributed computing and communication networks group in Ben-Gurion University headed by Prof. Shlomi Dolev.

Prof. Shlomi Dolev
Shlomi Dolev received his B.Sc. in Engineering and B.A. in Computer Science in 1984 and 1985, and his M.Sc. and D.Sc. in computer Science in 1990 and 1992 from the Technion Israel Institute of Technology. From 1992 to 1995 he was at Texas A&M University as a research specialist. In 1995 he joined the Department of Mathematics and Computer Science at Ben-Gurion University.
He is the author of the book entitled Self-Stabilization published by the MIT Press in 2000. Shlomi is the founder and the first department head of the computer science department at Ben-Gurion University. His publications, hundred conference and journal papers, are mostly in the area of distributed computing, communication networks, security and cryptography; in particular the self-stabilization property of such systems. Several agencies and companies support his research, including IBM (faculty awards), Intel, NSF, Israeli, Deutsche Telekom, Ministries of Science and Defense. During his stay at Ben-Gurion University Shlomi had a visiting positions in several institutions including LRI, DIMACS, and MIT. He served in thirty program committees including a few of PODC, DISC, WSS, ICDCS, INFOCOM, WADS. He is an associate editor of the AIAA Journal of Aerospace Computing, Information, and Communication.
Shlomi holds the Ben-Gurion University Rita Altura trust chair in computer sciences.

Olga Brukman
Olga Brukman has received her BSc and MSc in Computer Scince in 2001 and 2003 from Ben-Gurion University.
She is currently a PhD student in Department of Computer Science in Ben-Gurion Unversity under supervision of Prof. Shlomi Dolev.
Her current reasearch focus is on applying self-stabilization techniques for creating stable and robust systems.