HOME | DEUTSCH | IMPRESSUM | KIT

Theses

Art Name
bachelor thesis Exhaustiveness check for Structural Pattern Matching in Python 3.10
bachelor thesis Quantitative Information Flow Control for Java with interval lattices
Bachelor/Master thesis Escape Analysis for GHC
Bachelor/Master thesis Static SQL analysis
masters thesis Information Flow Control for X10
masters thesis Parallelizing interprocedural program analysis
masters thesis Quantitative Information Flow Control for Java
masters thesis Register allocation for compressed machine code

Nichts gefunden?

  • Manchmal haben wir noch neue Themen, die hier noch nicht aufgeführt sind.
  • Wir sind natürlich auch für Ihre Vorschläge im Bereich der Thematik des Lehrstuhls offen.
  • Bachelorarbeiten können teilweise auch als HiWi bearbeitet werden.
  • Manche Bachelorarbeiten lassen sich zu Masterarbeiten ausweiten und umgekehrt.

Für Details am besten persönlich vorbeikommen.