HOME | DEUTSCH | IMPRESSUM | KIT

Theses

Art Name
bachelor thesis Extending an SSA Construction Algorithm to Represent Memory Locations
bachelor thesis Survey on Program Synthesis
Bachelor/Master thesis Load-Store Optimization with Memory Partitions
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.