GUIDE@HAND is an audio tourist guide application available on smart phones.

• You can standalone discover the city during their one- or two-hour-long enjoyable walks.
• You can get from one point to another by the help of voice instructions while walking.
• They give you offline interactive maps, therefore, you do not have to pay for the Internet (e.g. roaming).
• On your way, you can find useful places as well (e.g. restaurants, entertainment, shops, etc.) on the map.
• You can use it in various languages.
• And additional to all of that, you will have your DSN 2013 final program @Hand.

Some video tutorials of the application

• How to visit Budapest with GUIDE@HAND
• Presenting events in GUIDE@HAND (e.g. DSN 2013)

Final program for Monday, 24th June.
Final program for Tuesday, 25th June.
Final program for Wednesday, 26th June.
Final program for Thursday, 27th June.

You may download to your phone the Budapest GUIDE@HAND that besides being an interactive city guide, includes the DSN 2013 final program, as well.

For Android		For iPhone

Wednesday, 26 June

Final program for Monday, 24th June.
Final program for Tuesday, 25th June.
Final program for Wednesday, 26th June.
Final program for Thursday, 27th June.

Tuesday, 25 June

Final program for Monday, 24th June.
Final program for Tuesday, 25th June.
Final program for Wednesday, 26th June.
Final program for Thursday, 27th June.

Thursday, 27 June

Final program for Monday, 24th June.
Final program for Tuesday, 25th June.
Final program for Wednesday, 26th June.
Final program for Thursday, 27th June.

Monday, 24 June

(Workshop-Tutorial Day)

Final program for Monday, 24th June.
Final program for Tuesday, 25th June.
Final program for Wednesday, 26th June.
Final program for Thursday, 27th June.

The water level of the river reached a historic record height but is decreasing (see the webcam ). The hotel is located at least by one meter higher, then the road with the trafic. It is expected, that at the time of DSN the city returns completely to its normal life.

The below pictures were taken just in front of the conference hotel during the flood (during the last days preparations for DSN 2013 at the hotel). The normal state is when the Danube does not flood the lower road along the river. Look for the inclination of the small bridges connecting the ships and the road. The upper road (look for the tram track on the right side of the first picture and on the left side of the third picture) was not flooded. The highest flood now was 35-40 cm below the level of the upper road. But the downtown of Budapest was safe because of this lower and upper roads and the river wall made of stone by our ancestors.

• The organizers will provide computers with beamers to use when presenting your work. You may expect preinstalled software to play PDF and PPT(X) files. To avoid long presentation switching times please do not use your own computer and please upload and test your presentation on the provided computer before(!) your session starts.
• For the DCCS and PDS sessions please plan your presentation not to exceed 25 minutes. Every presentation will be followed by a 5 minutes discussion slot.
• For the DCDV, and WORCS workshop presentations and for the Student Papers the same “25+5 minutes rule” applies. For the WSR workshop presentations expect 20+5 minutes. For the RSDA workshop presentations expect only 15 minutes (and 5 minutes discussion).
• In the Fast Abstracts session 10 minutes presentations will be followed by 5 minutes discussions.

We are looking forward to seeing your valuable presentations.

In particular, he took great interest in the future of the field and was instrumental in promoting the work of young contributors. It was characteristic of Bill to take the initiative in reaching out to students and younger colleagues. Despite the demands of his own career, he knew the value of taking the time to encourage, mentor, and inspire newcomers to the field.

The William C. Carter Award has been presented annually since 1997, and was established by the IEEE Technical Committee on Fault-Tolerant Computing (TC-FTC) together with the IFIP Working Group on Dependable Computing and Fault Tolerance (WG lOA). The award is intended to honor and carry on Dr. Carter’s legacy by recognizing an outstanding paper based
on a graduate dissertation.

To qualify, a paper based on a student’s dissertation must have been submitted as a regular conference paper to DSN, with the student as the first author. Both current graduate students and former graduate students, no more than two years past the completion of their dissertation, are eligible. All Carter Award submissions accepted as regular DCCS and PDS
papers were evaluated by the DSN Steering Committee.

The winner of the 2013 William C. Carter Award is

Suman Saha
Laboratory of Computer Sciences, Paris 6, France
for the paper entitled
Hector: Detecting Resource-Release Omission Faults
in Error-Handling Code for Systems Software
Suman Saha, Jean-Pierre Lozi, Gael Thomas, Julia Lawall, Gilles Muller

Dr. Jean-Claude Laprie was Directeur de Recherche at LAAS-CNRS, Toulouse, France. He devoted his entire career to research on the dependability of computing systems. His unique capability of abstraction and formalization, and his contributions to the formulation of the concepts and methodologies of dependability, rapidly led to national and international recognition.

He received the IFIP Silver Core in 1992, the Silver Medal of French Scientific Research in 1993, and the Grand Prize in Informatics of the French Academy of Science in 2009. He was made Chevalier de l’Ordre National du Mérite in 2002.

The IFIP 10.4 Working Group on Dependable Computing created the award in his honor in 2011. It recognizes outstanding papers that have significantly influenced the theory and/or practice of Dependable Computing. For 2013, the award committee decided to recognize three seminal papers, one in each of the award’s impact categories:

• L. Lamport, R. Shostak, and M. Pease, “The Byzantine Generals Problem”, ACM Transactions on Programming Languages and Systems, vol. 4, no. 3, July 1982 pp. 382-401 .
• J. Gray, “Why Do Computers Stop and What Can Be Done About It?”, In Symposium on Reliability in Distributed Software and Database Systems, pp. 3-12. IEEE, 1986.
• W.G. Bouricius, W.C. Carter and P.R. Schneider, “Reliability Modeling Techniques for Self-Repairing Computer Systems”, In Proceedings of the 24th ACM National Conference, pp. 295-309. ACM, 1969.

Lamport’s “The Byzantine Generals Problem” is the seminal paper on dealing with Byzantine faults in the replication and distribution of information to the redundant/replicated components of a fault tolerant system. Indeed the term Byzantine fault originated with this paper. Universally common in redundant systems before this paper was an implicit assumption that all redundant components in a fault tolerant system were receiving identical information. Sadly this is an all too common assumption even in contemporary fault tolerant systems. This paper highlighted the exposure of non-Byzantine proofed system to a failure caused by a single Byzantine fault. Given that other failures required multiple fault sequences, the failure due to a single Byzantine fault is frequently the dominant (though unmodeled) mode of failure for unproofed systems.

Gray’s “Why Do Computers Stop and What Can Be Done About It?,” had enormous impact on both industry and the academic research on fault tolerant computing. This was the seminal paper compiling and analyzing from empirical data the sources and causes of computer system failures, and how they could be addressed. This paper turned much of the FT community from its primary focus on hardware failures, to the issues of software failures and operational missteps leading to system failures, still the primary and most difficult to address causes of systems failures. It was the first to bring to the communities attention the concept of Heisenbugs (soft) and Bohrbugs (hard) for software. The observation or hypothesis that most software failures are Heisenbugs, that is, they occur only infrequently due to seldom occurring and difficult to repeat circumstances is now key to most strategies for recovering from software failures.

Bouricius, Carter and Schneider’s, “Reliability Modeling Techniques for Self-Repairing Computer Systems,” set the foundation for reliability modeling of fault tolerant computing systems, which we now find so fundamental. It was the first paper to rigorously analyze not only the impact of redundant components on a fault tolerant system (as suggested by Von Neuman in his assertion that systems of arbitrary reliability could be built using redundant components) but also rigorously analyzed the impact that coverage and effectiveness of the recovery mechanism (the paper studied the failure of the switch-over mechanism to effect the switch) had on reliability. The rigor and refinement made reliability modeling an essential part of fault tolerant systems design and architecture. Primitive though some of this work may seem by current standards of sophistication, it is the shoulders of this work on which much of the highly refined modeling now rests.