Chair of Programming



This page provides links to the English-language diploma theses and all dissertation and habilitation theses advised by our group.


Completed Habilitation Theses


Completed Dissertations


Selection of Completed Master Theses

Selection of Completed Bachelor Theses

  • "Multigrid for the SPIRAL prototype in Scala" (Sebastian Schweikl, September 2017)
    Recently, a multigrid solver for a discretized square two-dimensional Poisson equation with Dirichlet boundary conditions was specified for an automatic code generation by the program synthesis system SPIRAL. The thesis ports this work to the partial reimplementation SpiralS of SPIRAL in Scala and provides the domain-specific language structures for its code generation. Performance optimizations are achieved by a gradual refinement of the algorithm’s structure.