Thesis Topics

Please note that neither list on this page is complete. Feel free to drop by to discuss other topic ideas.



Available

Please note that PDFs for available and taken topics are only accessible from the university network.


PDF Kind Title Advisors
BT/MT Parallel IR Johannes Doerfert and Simon Moll
BT Temporal Traces Simon Moll
BT Parallel Buddies Johannes Doerfert

Taken

Please note that PDFs for available and taken topics are only accessible from the university network.

PDF Date Title Student Advisors
Polyhedral Scheduling Cache Hendrik Leidinger Johannes Doerfert
On Synchronization in the Polyhedral Model Matthias Kurtenacker Johannes Doerfert and Simon Moll
Target-independent vectorization backend Dominik Montada Simon Moll and Johannes Doerfert

Completed

PDF Date Title Student Advisors
tbd tbd Offline Partial Evaluation of LLVM Bitcode Immanuel Haffner Roland Leißa
March 31, 2016 Safe and fast memory management for AnyDSL Till Speicher Roland Leißa
March 01, 2016 Polyhedral Task Parallelization Wiam Rachid Johannes Doerfert
Dec 09, 2015 A Hybrid Approach for Parametric Memory Dependence Analysis Tina Jung Johannes Doerfert and Kevin Streit
Nov 30, 2015 Compiler Optimizations using Symbolic Abstraction Fabian Ritter Tomasz Dudziak
April 01, 2015 Sierra: A SIMD Extension for C++ Immanuel Haffner Roland Leißa
March 16, 2015 Verified SMT-based Translation Validation Heiko Becker Sigurd Schneider and Sebastian Hack
Feb 14, 2014 Variants in Whole-Function Vectorization Simon Moll Sebastian Hack
May 23, 2012 Speculative Loop Parallelization Johannes Doerfert Kevin Streit and Clemens Hammacher
March 01, 2011 Decompilation of LLVM IR Simon Moll Sebastian Hack