HOME | DEUTSCH | IMPRESSUM | KIT

Theses

Art Name
bachelor thesis An Address Sanitizer for libfirm
bachelor thesis Survey on Program Synthesis
masters thesis Compiler Support for Scratchpad Memory
masters thesis Data Flow Analysis meets Program Synthesis
masters thesis hsreduce: Minimising Haskell programs
masters thesis Information Flow Control for X10
masters thesis Parallelizing interprocedural program analysis
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.