Dies ist eine EINLADUNG zum UHH Informatik Kolloquium
http://www.inf.uni-hamburg.de/de.html
SPRECHER:
Frau Prof. Sibylle Schupp - Leiterin des Instituts für Softwaresysteme an
der TUHH
AM:
Montag, den 13.01.2014 um 17:15 Uhr
ORT:
Konrad-Zuse-Hörsaal, Haus B (B-201)
http://www.inf.uni-hamburg.de/de/service/location.html
TITEL:
Soft Errors: From Bit Flips to Program Analysis
(Der Vortrag wird auf Deutsch gehalten)
ZUSAMMENFASSUNG:
"Could outer space be endangering Toyota's drivers", the magazine
DailyTech asked in 2010, and referred to the possibility that cosmic
radiation may be responsible for the malfunctioning of certain
electronics. Cosmic radiation and the resulting transient hardware errors,
the so-called "soft errors", are indeed a reason why hardware vendors set
up their test labs sometimes at higher altitudes. For software engineers,
soft errors qualify as a challenging class of bugs since they are
expensive to track and hard to protect against. Using formal notations and
algorithms from program analysis, however, it is possible to automate many
of the steps that are needed for either testing for soft errors or
hardening against them.
The talk characterizes soft errors from the application's point of view,
introduces the field of program analysis, and presents selected,
type-based program analyses for soft errors. Since soft errors are a
comparatively recent topic in
Computer science, many important questions are still unanswered and may
constitute interesting topics also beyond program analysis.
VITA DES REFERENTEN:
Sibylle Schupp ist Professorin und Leiterin des Instituts für
Softwaresysteme an der TUHH. Sie promovierte in Informatik an der
Universität Tübingen 1996 und war von 1996 bis 2003 erst PostDoc, danach
Assistant Professor in Rensselaer, New York. Im Sommer 2003 wechselte sie
als Associate Professor an die Chalmers Tekniska Högskola (CTH) in
Göteborg und leitete dort die Gruppe Software Methodologien and Systems.
Zur TUHH kam sie 2009.
ANSPRECHPARTNER:
Prof. Dr. Matthias Riebisch/SWK
Fachbereich Informatik
Universität Hamburg
Vogt-Kölln-Str. 30
22527 Hamburg
Tel. 040-42883-2427
-------------------------------------------------
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium
_______________________________________________
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium
_______________________________________________
HiForum-Verteiler mailing list
HiForum-Verteiler@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler