Picture of Sarah Tilscher

Sarah Tilscher, M.Sc.

Research Interests

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


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



  • Advanced Concepts of Programming Languages (tutorial): WiSe21, WiSe22, WiSe23
  • 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, its web frontend GobView or the verification of fixpoint algorithms in Isabelle, feel free to reach out. For more information on possible student topics see here.

In Progress:

  • Automatic Generation of Test Cases for lncremental Static Analysis (bachelor thesis)
  • Visualizing Non-local Static Analysis Results in GobView (bachelor thesis)
  • Towards the Verification of Top-Down Solvers (master thesis)


  • GobView - Making Static Analysis Results Understandable (bachelor thesis, 7/23)
  • Towards Zero-Cost Reanalysis of Programs after Common Refactorings (bachelor thesis, 11/22)
  • Control-Flow Graph Matching for Incremental Static Analysis in Goblint (bachelor thesis, 08/22)