Sarah Tilscher - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik

Zum Inhalt springen

de
en

Menü

no image

M.Sc. Sarah Tilscher

Phone: +49 (89) 289 - 18176
Room: 5607.02.061
sarah.tilscher@tum.de

Research Interests

Incremental and interactive static analysis by abstract interpretation
Verification of fix-point algorithms in Isabelle

Projects

Goblint - A static analyzer using abstract interpretation for analyzing multi-threaded C programs

Teaching

Advanced Concepts of Programming Languages (tutorial): WiSe21, WiSe22
Compiler Construction (tutorial): SoSe22, SoSe23
The Tyranny of Types: Curse or Blessing (seminar): SoSe22

Student Theses

If you are interested in doing a student thesis related to static analysis and Goblint, feel free to reach out. For more information on possible student topics see here.

Towards Zero-Cost Reanalysis of Programs after Common Refactorings, summer 2022 (bachelor thesis)
Control-Flow Graph Matching for Incremental Static Analysis in Goblint, summer 2022 (bachelor thesis)

Publications

Sat, 01 Jan 2022 00:00:00 +0100

Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.

Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl:
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap. CoRR abs/2209.10445 (2022)