Chair of Programming
Theses

Theses

Theses

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.