We do research on compilers, programming languages, and program analysis to make programming modern heterogeneous systems more efficient and effective. Our recent focus is on:

  • Implementing Domain-specific Languages using Partial Evaluation
  • Vectorization of Irregular Low-Level Code
  • Deriving Performance Models of Modern Hardware

Our current projects and tools include:


Winter 2020

Core Course
  • Practical Foundations for Programming Languages

Previous Semesters

BSc/MSc Theses

If you are interested in a MSc or BSc thesis, please contact Sebastian Hack. We have a variety of topics available.

Thesis work is regularly discussed in our Bachelor/Master Seminar.


Apr 2020
PMEvo, our work on inferring port mappings of out-of-order processors by time measurements was accepted at PLDI 2020.
Jan 2020
We have a paper at IPDPS 2020 together with Bertil Schmidt's group on AnySeq, a high-performance sequence alignment library written in AnyDSL that compiles to CPUs, GPUs, and FPGAs from the same code base and is competitive with codes that have been developed for a specific hardware architecture.
Jul 2019
Our joint paper Rodent: Generating Renderers without Writing a Generator with the graphics group at Saarland University was accepted at SIGGRAPH 2019.
Jun 2018
Our paper on AnyDSL was accepted at OOPSLA 2018. AnyDSL is a clean-slate programming system with a simple, annotation-based, online partial evaluator that operates on our CPS-based IR Thorin and has code generators for various accelerators.
Feb 2018
Our paper on partially linearizing control flow was accepted at PLDI 2018. Partial control flow linearization generalizes if conversion to incorporate the results of a divergence analysis without imposing restrictions on the control flow graph.