Compiler Design Lab

Welcome to the pages of the Compiler Design Lab at Saarland Informatics Campus at Saarland University.

Research

We do research on compilers, programming languages, and program analysis.

Vectorization and Parallelization
  • Whole-Function Vectorization
  • Sierra
  • Sambamba
  • Region Vectorizer
  • SSA Form
  • SSA Construction
  • SSA Register Allocation
  • The LVC Verified Compiler
  • DSLs
  • AnySL
  • AnyDSL
  • Floating-Point Accuracy
  • FpDebug
  • Teaching

    Summer Term 2019

    Seminar
  • Programming Languages and Compilers for Machine Learning
  • Group Seminar
  • Course
  • Unix for Unix/Linux Beginners (in German)
  • previous »

    BSc/MSc Theses

    If you are interested in a MSc or BSc thesis, please contact Sebastian Hack. We have a variety of topics available. Having passed passed the compilers core lecture is a plus. Thesis work is regularly discussed in our Bachelor/Master Seminar.