sarah.sallinger | netidee

intro

Sarah Sallinger

I am a PhD student in the Rigorous Systems Engineering group at TU Wien. I am driven by the desire to better understand the inner workings of complex computer systems and I want to develop tools that help in this process. My research interests broadly span the fields of computer aided verification, program analysis and automated bug detection and diagnosis.

Skills:

Programming

,

Formal Methods

,

Logic

Projekte & Rollen

Automated Diagnosis of Heisenbugs

Blogbeiträge

Brandenburger Tor

Mein Forschungspraktikum bei Amazon

Im vergangenen Herbst hatte ich die außergewöhnliche Möglichkeit, mein Doktorat für ein Forschungspraktikum im Automated Reasoning Team von Amazon Web Services (AWS) zu pausieren.

Heisenbugs @ SEFM 2023

Wir freuen unser Paper zum Thema Heisenbugs auf der Konferenz für Software Engineering and Formal Methods (SEFM) 2023 zur Veröffentlichung akzeptiert wurde.

Netidee Blog Bild

Nichtdeterminismus

Ein wichtiges Ziel meines Projekts ist es, Methoden zu entwickeln, die die Ursachen von Heisenbugs aufdecken, also aufzeigen, warum sich ein bestimmtes Programm nicht immer gleich verhält. Dazu muss im ersten Schritt festgestellt werden, an welchen S...

Netidee Blog Bild

Heisenbugs - Formale Definition

Heisenbugs sind Computerfehler, die nur gelegentlich auftreten. Diese Unvorhersehbarkeit ist nicht nur für Systemnutzer:innen frustrierend, sondern stellt auch die verantwortlichen Entwickler:innen vor große Herausforderungen.

Netidee Blog Bild

Heisenbugs - Formale Modellierung

Heisenbugs sind Computerfehler, die nur gelegentlich auftreten. Ziel meines Projekts ist es, formale Methoden zu entwickeln, die bei der Suche und dem Beheben von Heisenbugs unterstützen. Um formale Methoden anwenden zu können, braucht es ein formale...